Kripke models for linear logic

DOI10.2307/2275217zbMATH Open0795.03013OpenAlexW2112576833MaRDI QIDQ3138010FDOQ3138010

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

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

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)

Cites Work

• The semantics and proof theory of linear logic
• A topological representation theory for lattices
• Title not available (Why is that?)
• Linear logic

Cited In (45)

• A relational semantics for the logic of bounded lattices
• Current trends in substructural logics
• Extensions of Kripke models
• Logical consequence and the paradoxes
• Continuation semantics for the Lambek-Grishin calculus
• Distributed modal logic
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• Representation theorems for some fuzzy logics based on residuated non-distributive lattices
• 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
• Belief revision, probabilism, and logic choice
• Proper semantics for substructural logics, from a stalker theoretic point of view
• Models of linear logic
• Four-valued logic
• Bounded lattice expansions
• Modal Logics of Some Hereditarily Irresolvable Spaces
• St. Alasdair on Lattices Everywhere
• Investigations into a left-structural right-substructural sequent calculus
• Countably many weakenings of Belnap-Dunn logic
• Symmetric generalized Galois logics
• Title not available (Why is that?)
• Mereocompactness and Duality for Mereotopological Spaces
• Positive modal logic
• 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
• Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic
• The decidability of the intensional fragment of classical linear logic
• On canonicity of poset expansions
• On the universality of atomic and molecular logics via protologics
• Algebraic Kripke-style semantics for relevance logics
• A Sahlqvist theorem for substructural logic
• A van Benthem theorem for atomic and molecular logics
• A simplified semantics for a fragment of intuitionistic linear logic
• Duality results for (co)residuated lattices
• A note on modal logic and possibility theory
• Proof-theoretic semantics for intuitionistic multiplicative linear logic
• A Note on Linear Kripke Models
• Modal logic without contraction in a metatheory without contraction
• Duality via truth for some fuzzy modal logic
• Relational semantics for Kleene logic and action logic
• Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices

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)