scientific article; zbMATH DE number 1406808
From MaRDI portal
Publication:4940724
Cited in
(31)- Algebraic structures in categorial grammar
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
- Naive structure, contraction and paradox
- Symmetric generalized Galois logics
- Grammar induction by unification of type-logical lexicons
- Implicational tonoid logics: algebraic and relational semantics
- Implicational partial Galois logics: relational semantics
- Negation on the Australian plan
- The finite model property for BCI and related systems
- Current trends in substructural logics
- Extended-order algebras as a generalization of posets
- Probabilistic Interpretations of Predicates
- A ``reply to my ``critics
- Powerset Residuated Algebras and Generalized Lambek Calculus
- Interpretations of weak positive modal logics
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- Larisa Maksimova’s Early Contributions to Relevance Logic
- Monoidal logics: completeness and classical systems
- Conserving involution in residuated structures
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- Algebraic proof theory for LE-logics
- Ordered BCI-algebras, Y-kernels and (ordered) functions
- Polynomial-time equational theory for lattices with unary operators
- Implicational tonoids and their representations
- Choice-free dualities for lattice expansions: application to logics with a negation operator
- An algebraic investigation of linear logic
- Some theorems of Birkhoff in tonoid matrices
- Implicational (dual) residuated semilinear gaggle logics
- Relational semantics for Kleene logic and action logic
- Generalized Kripke frames
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4940724)
