| | |
1 | Journal of Mathematical Logic | journal |
2 | Fuzzy Sets and Systems | journal |
3 | Fuzzy Optimization and Decision Making | journal |
4 | Review of Symbolic Logic | journal |
5 | Journal of Symbolic Logic | journal |
6 | Annals of Pure and Applied Logic | journal |
7 | Erkenntnis | journal |
8 | Bulletin of Symbolic Logic | journal |
9 | Notre Dame Journal of Formal Logic | journal |
10 | Archive for Mathematical Logic | journal |
11 | 2013 Formal Methods in Computer-Aided Design, FMCAD 2013 | conference and proceeding |
12 | ACM Transactions on Computational Logic | journal |
13 | Studia Logica | journal |
14 | Advances in Modal Logic | conference and proceeding |
15 | Algebra and Logic | journal |
16 | Journal of Logic and Algebraic Programming | journal |
17 | Mathematical Logic Quarterly | journal |
18 | Journal of Applied Non-Classical Logics | journal |
19 | Journal of Applied Logic | journal |
20 | Journal of Logic and Computation | journal |
21 | 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013 | conference and proceeding |
22 | Logica Universalis | journal |
23 | Journal of Multiple-Valued Logic and Soft Computing | journal |
24 | Proceedings of the 2013 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems, T2FUZZ 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 | conference and proceeding |
25 | Handbook of the History of Logic | book serie |
26 | Computational Linguistics in the Netherlands Journal | conference and proceeding |
27 | 2014 IEEE Conference on Norbert Wiener in the 21st Century: Driving Technology's Future, 21CW 2014 - Incorporating the Proceedings of the 2014 North American Fuzzy Information Processing Society Conference, NAFIPS 2014, Conference Proceedings | conference and proceeding |
28 | 2014 11th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2014 | conference and proceeding |
29 | Proceedings of the 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems, GEFS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 | conference and proceeding |
30 | Bulletin of the Section of Logic | journal |
31 | iFUZZY 2014 - 2014 International Conference on Fuzzy Theory and Its Applications, Conference Digest | conference and proceeding |
32 | WLPE 2013 - 23rd Workshop on Logic-Based Methods in Programming Environments | conference and proceeding |
33 | Reports on Mathematical Logic | journal |