- Logical consequence: Models and modality.Stewart Shapiro - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 131--156.details
|
|
The justification of deduction.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press.details
|
|
Aristotle's syllogistic from the standpoint of modern formal logic.Jan Łukasiewicz - 1957 - New York: Garland.details
|
|
What is a syllogism?Timothy J. Smiley - 1973 - Journal of Philosophical Logic 2 (1):136 - 154.details
|
|
Squeezing arguments.P. Smith - 2011 - Analysis 71 (1):22-30.details
|
|
Logical consequence, proof theory, and model theory.Stewart Shapiro - 2005 - In Oxford Handbook of Philosophy of Mathematics and Logic. Oxford University Press. pp. 651--670.details
|
|
Aristotle'S natural deduction reconsidered.John M. Martin - 1997 - History and Philosophy of Logic 18 (1):1-15.details
|
|
Completion, reduction and analysis: three proof-theoretic processes in aristotle’s prior analytics.George Boger - 1998 - History and Philosophy of Logic 19 (4):187-226.details
|
|
Establishing Connections between Aristotle's Natural Deduction and First-Order Logic.Edgar José Andrade & Edward Samuel Becerra - 2008 - History and Philosophy of Logic 29 (4):309-325.details
|
|
Łukasiewicz, Leibniz, and the arithmetization of the syllogism.David Marshall - 1977 - Notre Dame Journal of Formal Logic 18 (2):235-242.details
|
|
Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.details
|
|
Aristotelian syllogisms: Valid arguments or true universalized conditionals?John Corcoran - 1974 - Mind 83 (330):278-281.details
|
|
Aristotle's Prior Analytics and Boole's Laws of thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.details
|
|
Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic 24 (4):261-288.details
|
|
On the Concept of Following Logically.Alfred Tarski - 2002 - History and Philosophy of Logic 23 (3):155-196.details
|
|
Themes in Neoplatonic and Aristotelian logic: order, negation, and abstraction.John N. Martin - 2004 - Burlington, VT: Ashgate.details
|
|
Aristotle's Prior Analytics.Robin Smith - 1989 - Hackett Publishing Company.details
|
|
An Introduction to Gödel's Theorems.Peter Smith - 2007 - New York: Cambridge University Press.details
|
|
Saving truth from paradox.Hartry H. Field - 2008 - New York: Oxford University Press.details
|
|
Ancient logic and its modern interpretations.John Corcoran (ed.) - 1974 - Boston,: Reidel.details
|
|
Reflections on consequence.John Etchemendy - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 263--299.details
|
|
Aristotle's Syllogistic from the Standpoint of Modern Formal Logic.JAN LUKASIEWICZ - 1951 - Revue de Métaphysique et de Morale 57 (4):456-458.details
|
|
Aristotle's natural deduction system.John Corcoran - 1974 - In Ancient Logic and its Modern Interpretations. Boston: Reidel. pp. 85--131.details
|
|
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.details
|
|