Scientific American

Could Symbolic AI Unlock Human-like Intelligence?

Combining newer neural networks with older AI systems could be the secret to building an AI to match or surpass human ...
JSTOR Daily

Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication

Studia Logica: An International Journal for Symbolic Logic, Vol. 61, No. 2 (Sep., 1998), pp. 237-280 (44 pages) In this work we develop goal-directed deduction methods for the implicational fragment ...
JSTOR Daily

Logical Connectives on Lattice Effect Algebras

Studia Logica: An International Journal for Symbolic Logic, Vol. 100, No. 6, Recent Developments related to Residuated Lattices and Substructural Logics (December 2012), pp. 1291-1315 (25 pages) An ...
Princeton University

PHI 201 Introductory Logic

Logic is among the oldest and most foundational of the university disciplines. The goal is to equip students with most general possible framework for sound and rigorous reasoning — one that works ...
Princeton University

Princeton Logic Group

J. Burgess. "Putnam on Foundations: Models, Modals, Muddles", in G. Hellman (ed.) Hilary Putnam on Logic and Mathematics, 129-143 (2019) J. Burgess. "Logic in the Second Half of the Twentieth Century" ...