Kripke models for linear logic
From MaRDI portal
Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Recommendations
Cites work
Cited in
(51)- Investigations into a left-structural right-substructural sequent calculus
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics
- Four-valued logic
- Models of linear logic
- Positive modal logic
- Symmetric generalized Galois logics
- On the universality of atomic and molecular logics via protologics
- Countably many weakenings of Belnap-Dunn logic
- Duality results for (co)residuated lattices
- Proper semantics for substructural logics, from a stalker theoretic point of view
- The decidability of the intensional fragment of classical linear logic
- Current trends in substructural logics
- Relational semantics for full linear logic
- Manipulating sources of information: towards an interpretation of linear logic and strong relevance logic
- Mereocompactness and Duality for Mereotopological Spaces
- Distributed modal logic
- A simplified semantics for a fragment of intuitionistic linear logic
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
- Logical consequence and the paradoxes
- Algebraic Kripke-style semantics for relevance logics
- scientific article; zbMATH DE number 912320 (Why is no real title available?)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
- A Sahlqvist theorem for substructural logic
- Modal Logics of Some Hereditarily Irresolvable Spaces
- St. Alasdair on Lattices Everywhere
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
- Comments on the Contributions
- A note on modal logic and possibility theory
- Extensions of Kripke models
- Belief revision, probabilism, and logic choice
- Modal logic without contraction in a metatheory without contraction
- Kripke completeness of strictly positive modal logics over meet-semilattices with operators
- A relational semantics for the logic of bounded lattices.
- Convolution as a Unifying Concept
- scientific article; zbMATH DE number 6302903 (Why is no real title available?)
- A Note on Linear Kripke Models
- Bounded lattice expansions
- Representations and dualities for bounded lattices
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
- On canonicity of poset expansions
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- Duality via truth for some fuzzy modal logic
- A van Benthem theorem for atomic and molecular logics
- Inferentialist resource semantics
- Implicational tonoids and their representations
- An algebraic investigation of linear logic
- Proof-theoretic semantics for intuitionistic multiplicative linear logic
- A proof-theoretic approach to the semantics of classical linear logic
- Relational semantics for Kleene logic and action logic
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices
- Continuation semantics for the Lambek-Grishin calculus
This page was built for publication: Kripke models for linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138010)
