Publication:3599059
From MaRDI portal
zbMath1222.03001MaRDI QIDQ3599059
Katalin Bimbó, J. Michael Dunn
Publication date: 3 February 2009
relational semantics; Lambek calculus; linear logic; substructural logic; relevance logic; nonclassical logics; normal modal logic
03B45: Modal logic (including the logic of norms)
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03G25: Other algebras related to logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Unnamed Item, Larisa Maksimova’s Early Contributions to Relevance Logic, Unnamed Item, Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras, Multi-Sorted Residuation, On Canonical Embeddings of Residuated Groupoids, Current trends in substructural logics, Non-deterministic semantics in polynomial format, On the ternary relation and conditionality, Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3, Algebraic Kripke-style semantics for relevance logics, New consecution calculi for \(R^{t}_{\to}\), Symmetric categorial grammar, The method of polynomial ring calculus and its potentialities, A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism, Canonical extensions and Kripke-Galois semantics for non-distributive logics, On Sahlqvist formulas in relevant logic, Order-dual relational semantics for non-distributive propositional logics: a general framework, Symmetric generalized Galois logics, Contradictory information: too much of a good thing, Algorithmic correspondence and canonicity for non-distributive logics, Valuations: bi, tri, and tetra, The decidability of the intensional fragment of classical linear logic, Free of Detachment: Logic, Rationality, and Gluts, Unnamed Item, 2010 North American Annual Meeting of the Association for Symbolic Logic, 2008–2009 Winter Meeting of the Association for Symbolic Logic, 2009 North American Annual Meeting of the Association for Symbolic Logic
Uses Software