Minimal logic
Top View
- Mathematical Logic
- Cut As Consequence
- (Propositional) Logic Are Built from Propositional Variables P, Q
- Truth-Maker Semantics for Intuitionistic Logic (PDF)
- Algebraic Approach to Non-Classical Logics
- Minimal Classical Logic and Control Operators
- Minimal Logic Programs
- Proof-Graphs for Minimal Implicational Logic
- Justification Logic and Type Theory: First Steps Towards Justified Typed Modality
- Intuitionistic Logic Considered As an Extension of Classical Logic: Some Critical Remarks∗
- An Argument for Minimal Logic
- Minimal Logic Programs (Extended Report)
- Minimal and Subminimal Logic of Negation
- Embedding Classical in Minimal Implicational Logic
- Lecture 19: Minimal Vs. Intuitionistic Vs. Classical Logic
- On a Substructural Logic with Minimal Negation∗
- What Is Absolute Necessity?
- Studies in Minimal Mathematics