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