Kripke models for linear logic

DOI10.2307/2275217MaRDI QIDQ3138010zbMATH OpenOpenAlexFDO

Authors Gerard Allwein, J. Michael Dunn

Publication date 24 October 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275217

zbMATH Keywords

representation theoremlinear logicrelevance logicsKripke semanticsDe Morgan negationGirard monoid

Mathematics Subject Classification ID

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

• A simplified semantics for a fragment of intuitionistic linear logic
• Relational semantics for full linear logic
• scientific article; zbMATH DE number 912320
• Algebraic Kripke-style semantics for relevance logics
• Kripke semantics for modal substructural logics

Cites work

• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• A topological representation theory for lattices
• Linear logic
• The semantics and proof theory of linear logic

Cited in

(45)

• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices
• 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
• 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
• 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
• 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)