- Quantification and ontology.Shaughan Lavine - 2000 - Synthese 124 (1-2):1-43.details
|
|
Natural deduction and Hilbert's ɛ-operator.Allen Hazen - 1987 - Journal of Philosophical Logic 16 (4):411 - 421.details
|
|
Language of thought: The connectionist contribution.Murat Aydede - 1997 - Minds and Machines 7 (1):57-101.details
|
|
Categorical Propositions and Existential Import: A Post-modern Perspective.Byeong-Uk Yi - 2021 - History and Philosophy of Logic 42 (4):307-373.details
|
|
On the Quantitative Scalar or-Implicature.Leon Horsten - 2005 - Synthese 146 (1-2):111-127.details
|
|
Inference and compulsion.Cesare Cozzo - 2014 - In E. Moriconi & Laura Tesconi (eds.), Second Pisa Colloquium in Logic, Language and Epistemology. ETS. pp. 162-180.details
|
|
What are sets and what are they for?Alex Oliver & Timothy Smiley - 2006 - Philosophical Perspectives 20 (1):123–155.details
|
|
Putting truth into universal grammar.Norbert Hornstein - 1995 - Linguistics and Philosophy 18 (4):381 - 400.details
|
|
Conditionals, quantification, and strong mathematical induction.Daniel H. Cohen - 1991 - Journal of Philosophical Logic 20 (3):315 - 326.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
A natural deduction system for discourse representation theory.Werner Saurer - 1993 - Journal of Philosophical Logic 22 (3):249 - 302.details
|
|
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.details
|
|