Linear logic
Top View
- Adam Rieger and Gareth Young (Editors), Dialetheism and Its Applications, Trends in Logic 52, Springer, 2019, 176Pp., $89,00, Hardcover, ISBN 9783030302207
- Dual Intuitionistic Linear Logic
- Paraconsistent Logic: a Proof-Theoretical Approach*
- The Semantics and Proof Theory of Linear Logic
- Linear Logic in Linguistics and Cognitive Science: the Geometry Of
- Linear Logic for Generalized Quantum Mechanics
- Focusing and Polarization in Linear, Intuitionistic, and Classical Logics
- A Resource-Sensitive Logic of Agency
- A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic
- Combining Classical Logic, Paraconsistency and Relevance
- Linear Type Theories, Semantics and Action Calculi
- Linear Logic Pages
- Epistemic Logic and Information Update
- Introduction to Linear Logic
- Strong Completeness Results for Paraconsistent Logic Programming
- Linear Logic for Constructive Mathematics
- Linear Logic
- Lecture Notes on Classical Linear Logic