scientific article; zbMATH DE number 1406808
From MaRDI portal
Publication:4940724
zbMath0941.03521MaRDI QIDQ4940724
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticssubstructural logicGalois connectionsresiduated partially ordered groupoidspartial gaggles
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items 23
Current trends in substructural logics ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ Generalized Kripke frames ⋮ Algebraic structures in categorial grammar ⋮ Symmetric generalized Galois logics ⋮ Birkhoff's and Mal'cev's theorems for implicational tonoid logics ⋮ COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS ⋮ Powerset Residuated Algebras and Generalized Lambek Calculus ⋮ Naive structure, contraction and paradox ⋮ Grammar induction by unification of type-logical lexicons ⋮ Monoidal logics: completeness and classical systems ⋮ Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators ⋮ Probabilistic Interpretations of Predicates ⋮ A “Reply” to My “Critics” ⋮ Conserving involution in residuated structures ⋮ Negation on the Australian plan ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ Extended-order algebras as a generalization of posets ⋮ Implicational tonoid logics: algebraic and relational semantics ⋮ Implicational partial Galois logics: relational semantics ⋮ The finite model property for BCI and related systems ⋮ Interpretations of Weak Positive Modal Logics ⋮ Relational semantics for Kleene logic and action logic
This page was built for publication:
