scientific article

Publication date: 3 February 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

relational semantics Lambek calculus linear logic substructural logic relevance logic nonclassical logics normal modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (52)

Current trends in substructural logics ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ Non-deterministic semantics in polynomial format ⋮ A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ Symmetric categorial grammar ⋮ Neighbourhood semantics for quantified relevant logics ⋮ What is a relevant connective? ⋮ On the universality of atomic and molecular logics via protologics ⋮ On Sahlqvist formulas in relevant logic ⋮ Symmetric generalized Galois logics ⋮ Two traditions in abstract valuational model theory ⋮ Topological duality for orthomodular lattices ⋮ Varieties of Relevant S5 ⋮ The method of polynomial ring calculus and its potentialities ⋮ Neighbourhood semantics for modal relevant logics ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Free of Detachment: Logic, Rationality, and Gluts ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Kapsner complementation: an algebraic take on Kapsner strong logics ⋮ Intuitionistic propositional logic with Galois negations ⋮ Relation algebras of Sugihara, Belnap, Meyer, and Church ⋮ On the ternary relation and conditionality ⋮ Contradictory information: too much of a good thing ⋮ Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3 ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ The Story of $$\gamma $$ γ ⋮ Epistemic Relevance and Epistemic Actions ⋮ On Split Negation, Strong Negation, Information, Falsification, and Verification ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ Basic quasi-Boolean expansions of relevance logics ⋮ Unnamed Item ⋮ Multi-Sorted Residuation ⋮ On Canonical Embeddings of Residuated Groupoids ⋮ New consecution calculi for $R^{t}_{\to}$ ⋮ A Routley-Meyer type semantics for relevant logics including $\text B_{\text r}$ plus the disjunctive syllogism ⋮ Unnamed Item ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Valuations: bi, tri, and tetra ⋮ The decidability of the intensional fragment of classical linear logic ⋮ Lambek calculus with conjugates ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ 2010 North American Annual Meeting of the Association for Symbolic Logic ⋮ Unnamed Item ⋮ 2008–2009 Winter Meeting of the Association for Symbolic Logic ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ Implicational partial Galois logics: relational semantics ⋮ 2009 North American Annual Meeting of the Association for Symbolic Logic ⋮ A basic quasi-Boolean logic of intuitionistic character ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras ⋮ Interpretations of Weak Positive Modal Logics ⋮ St. Alasdair on Lattices Everywhere

Uses Software

Pesca

This page was built for publication: