Classical logic
Top View
- Lecture Notes on Classical Modal Logic
- A Concise Introduction to Mathematical Logic
- Propositional Calculus the Word “Logic” Has Many Different Meanings
- Introduction to Constructive Logic and Mathematics
- Recursive Predicates and Quantifiersc1)
- Curry-Howard: Unveiling the Computational Content of Proofs
- Strong De Morgan's Law and the Spectrum of a Commutative Ring
- Classical and Nonclassical Logics
- Proof Theory Foundations and Applications
- An Introduction to Logic: from Everyday Life to Formal Systems Albert Mosley Smith College, [email protected]
- Mathematical Logic
- A Computational Understanding of Classical (Co)Recursion
- Classical and Constructive Logic
- The Logic of Partitions: Introduction to the Dual of the Logic of Subsets
- Extending LP with a Strong Conditional Operator
- Classical Logic in the Quantum Context
- An Introduction to Partition Logic
- Formalising the Completeness Theorem of Classical Propositional Logic in Agda (Proof Pearl)