| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7075873 (Why is no real title available?) | 2019-07-03 | Paper |
The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
Studies in Universal Logic | 2019-01-21 | Paper |
Aristotle's prototype rule-based underlying logic
Logica Universalis | 2018-08-06 | Paper |
Existential import today: new metatheorems; historical, philosophical, and pedagogical misconceptions
History and Philosophy of Logic | 2017-02-22 | Paper |
Existential-import mathematics
The Bulletin of Symbolic Logic | 2016-03-21 | Paper |
Investigating knowledge and opinion
Studies in Universal Logic | 2015-06-24 | Paper |
The Tarskian Turn: Deflationism and Axiomatic Truth
History and Philosophy of Logic | 2015-03-25 | Paper |
The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
History and Philosophy of Logic | 2013-04-18 | Paper |
| Sentence, proposition, judgment, statement, and fact: speaking about the written English used in logic | 2011-03-30 | Paper |
| Notes on the founding of logics and metalogic: Aristotle, Boole, and Tarski | 2009-04-14 | Paper |
Aristotle's Demonstrative Logic
History and Philosophy of Logic | 2009-03-31 | Paper |
Schemata: The Concept of Schema in the History of Logic
The Bulletin of Symbolic Logic | 2007-04-05 | Paper |
Aristotle's<i>Prior Analytics</i>and Boole's<i>Laws of Thought</i>
History and Philosophy of Logic | 2004-06-22 | Paper |
| scientific article; zbMATH DE number 1984507 (Why is no real title available?) | 2003-09-22 | Paper |
| Boole's criteria for validity and invalidity | 2001-05-21 | Paper |
| scientific article; zbMATH DE number 4072926 (Why is no real title available?) | 1988-01-01 | Paper |
Categoricity
History and Philosophy of Logic | 1980-01-01 | Paper |
Boole's criteria for validity and invalidity
Notre Dame Journal of Formal Logic | 1980-01-01 | Paper |
Identity logics
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
String theory
Journal of Symbolic Logic | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3448519 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3437103 (Why is no real title available?) | 1974-01-01 | Paper |
Logical consequence in modal logic. II: Some semantic systems for S4
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
Logical consequence in modal logic. II: Some semantic systems for S4
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
Completeness of an ancient logic
Journal of Symbolic Logic | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3420706 (Why is no real title available?) | 1972-01-01 | Paper |
Strange arguments
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
Logical consequence in modal logic: Natural deduction in S5
Notre Dame Journal of Formal Logic | 1969-01-01 | Paper |
