Kripke models for linear logic
From MaRDI portal
Publication:3138010
DOI10.2307/2275217zbMath0795.03013OpenAlexW2112576833MaRDI QIDQ3138010
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
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (36)
Current trends in substructural logics ⋮ Convolution as a Unifying Concept ⋮ Relational semantics for full linear logic ⋮ Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics ⋮ Positive modal logic ⋮ On the universality of atomic and molecular logics via protologics ⋮ Symmetric generalized Galois logics ⋮ Duality results for (co)residuated lattices ⋮ Proper semantics for substructural logics, from a stalker theoretic point of view ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ Unnamed Item ⋮ Four-valued logic ⋮ On canonicity of poset expansions ⋮ Logical consequence and the paradoxes ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ Distributed Modal Logic ⋮ Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ A note on modal logic and possibility theory ⋮ Continuation semantics for the Lambek-Grishin calculus ⋮ Bounded lattice expansions ⋮ BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ The decidability of the intensional fragment of classical linear logic ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS ⋮ Countably many weakenings of Belnap-Dunn logic ⋮ A relational semantics for the logic of bounded lattices ⋮ 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 ⋮ Relational semantics for Kleene logic and action logic
Cites Work
This page was built for publication: Kripke models for linear logic
