EXISTENTIAL-IMPORT MATHEMATICS

DOI10.1017/bsl.2015.2zbMath1368.03012OpenAlexW2314560663MaRDI QIDQ2795301

Hassan Masoud, John Corcoran

Publication date: 21 March 2016

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2015.2

zbMATH Keywords

first-order logicpredicateexistential importimport-carryingimport-free

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (1)

Aristotle's prototype rule-based underlying logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions
• Schemata: The Concept of Schema in the History of Logic
• Computability and Logic
• The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper
• Aristotle's Syllogistic and Core Logic
• Completeness of an ancient logic
• Syllogism and quantification

This page was built for publication: EXISTENTIAL-IMPORT MATHEMATICS