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
Multi-Sorted Residuation, On Canonical Embeddings of Residuated Groupoids, On the ternary relation and conditionality, New consecution calculi for \(R^{t}_{\to}\), Symmetric categorial grammar, A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism, Symmetric generalized Galois logics, Contradictory information: too much of a good thing, 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