Symbolic logic provides a framework of formal reasoning with applications in mathematics, cognitive science, computer science and philosophy. Topics include propositional logic, boolean algebras and ...

Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

T. Barrett and H. Halvorson, From geometry to conceptual relativity Erkenntnis 82, 1043-1063 (2016) T. Barrett and H. Halvorson, Morita equivalence, The Review of Symbolic Logic, vol. 9 (2016), no. 3, ...

The Association for Symbolic Logic is an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, ...