- Home
- » Tags
- » 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
- Arxiv:1805.07518V2 [Math.LO] 28 Jun 2021 An” O H Cascl Omo Ier(Ep ffie Logi Affine) (Resp
- Aspect-Oriented Programming in Higher-Order and Linear Logic
- Can Paraconsistency Replace Non-Monotonicity?
- Linear Logic in Planning
- The Future of Paraconsistent Logic
- Focusing the Inverse Method for Linear Logic
- Non-Classical Logics for Natural Language: Introduction to Substructural Logics
- Logical Instrumentalism
- Are the Beautiful Symmetries Exhibited by the Classical Sequent Calculus
- Linear Logic Programming
- Logical Operators for Ontological Modeling
- Categorical Semantics of Linear Logic for All
- Using Linear Logic and Proof Theory to Unify Computational Logic
- Glueing and Orthogonality for Models of Linear Logic
- Composition of Semantic Web Services Using Linear Logic Theorem Proving
- Are Paraconsistent Negations Negations? ∗
- AN OVERVIEW of LINEAR LOGIC PROGRAMMING §1. Introduction. It
- Linear and Affine Logics with Temporal, Spatial and Epistemic Operators
- A Judgmental Analysis of Linear Logic
- Dynamic Epistemic Logic in Update Logic Guillaume Aucher
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Linear Logic Programming for Narrative Generation
- Specifications of Computations in Intuitionistic and Linear Logic
- Dynamic Epistemic Logic in Game Design
- Introduction to Linear Logic Basic Research in Computer Science
- The Information in Intuitionistic Logic
- Linear Type Theory
- W6: Topics on Philosophy of Logic August 24, 2017 SADAF (Bulnes 642, Buenos Aires)