The following pages link to Kripke models for linear logic (Q3138010):
Displaying 43 items.
- Current trends in substructural logics (Q266641) (← links)
- Relational semantics for full linear logic (Q280840) (← links)
- Logical consequence and the paradoxes (Q484113) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- A note on modal logic and possibility theory (Q506374) (← links)
- On canonicity of poset expansions (Q651383) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices (Q835128) (← links)
- Continuation semantics for the Lambek-Grishin calculus (Q964491) (← links)
- Investigations into a left-structural right-substructural sequent calculus (Q1006458) (← links)
- A generalization of analytic deduction via labelled deductive systems. I: Basic substructural logics (Q1344886) (← links)
- Four-valued logic (Q1422105) (← links)
- Models of linear logic (Q1807458) (← links)
- Positive modal logic (Q1902555) (← links)
- Symmetric generalized Galois logics (Q1931307) (← links)
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
- The decidability of the intensional fragment of classical linear logic (Q2517231) (← links)
- Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic (Q3305423) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- Distributed Modal Logic (Q3305433) (← links)
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
- Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices (Q4903467) (← links)
- A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC (Q4928772) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- St. Alasdair on Lattices Everywhere (Q5027242) (← links)
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics (Q5027243) (← links)
- Comments on the Contributions (Q5027252) (← links)
- Extensions of Kripke models (Q5095626) (← links)
- BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE (Q5176164) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)
- KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS (Q5222523) (← links)
- A relational semantics for the logic of bounded lattices (Q5227167) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- (Q5419879) (← links)
- A Note on Linear Kripke Models (Q5696304) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic (Q6196503) (← links)
- Proof-theoretic semantics for intuitionistic multiplicative linear logic (Q6541162) (← links)
- Duality via truth for some fuzzy modal logic (Q6547667) (← links)
- A van Benthem theorem for atomic and molecular logics (Q6659900) (← links)
