Studia Logica: An International Journal for Symbolic Logic, Vol. 104, No. 1 (February 2016), pp. 79-114 (36 pages) We present a sequent calculus for extensional mereology. It extends the classical ...

New research shows large language models rival humans in learning logic-based rules, reshaping how we understand reasoning.

Prior research on political judgment has been polarized, with one group emphasizing normative models of political inference and the other emphasizing heuristic models of political inference. In ...