En cours de chargement...
- LOGICAL PLURALISM
- Defending Logical Pluralism
- Logic : One or Many ? Pluralism About Logical Consequence : Resolving Conflict in Logical Theory
- Is Logic a Theory of the Obvious ? RULES AND VALIDITY
- What is a Logical System 2
- A History of Natural Deduction and Elementary Logic Textbooks
- A New Existential Instantiation Rule
- Models, Validity and Possible Worlds
- Logical Consequence, Deducibility and Inference Tickets
- PARACONSISTENCY
- A Paraconsistent-Preservationist Approach to a Common Confusion Concerning Predicate Extensions
- A New Completeness Proof for the Kn
- Modal Logics
- The Preservation of Meta-Valuational Properties and the Meta-Valuational Properties of Implication
- Weakly Additive Operators on Distributive Lattices
- Paraconsistency and the Image of Science
- Paradox and its Undoing : A Speech Act Manifesto
- Truth, Proof and the Gödel Sentence
- A Problem Concerning the First Incompleteness Theorem.