Adding involution to residuated structures
From MaRDI portal
Publication:1770973
DOI10.1023/B:STUD.0000037126.29193.09zbMath1062.03059MaRDI QIDQ1770973
Nikolaos Galatos, James G. Raftery
Publication date: 7 April 2005
Published in: Studia Logica (Search for Journal in Brave)
Logical aspects of lattices and related structures (03G10) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Co-rotation constructions of residuated semigroups ⋮ Representable idempotent commutative residuated lattices ⋮ Twist structures and Nelson conuclei ⋮ The logic Ł• ⋮ Possibility distributions generated by intuitionistic \textsf{L}-fuzzy sets ⋮ Residuated bilattices ⋮ Projectivity and unification in substructural logics of generalized rotations ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Gluing residuated lattices ⋮ Semilinear De Morgan monoids and epimorphisms ⋮ On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Minimal varieties of involutive residuated lattices ⋮ Complemented MacNeille completions and algebras of fractions ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Involutive residuated lattices based on modular and distributive lattices. ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Formal systems of fuzzy logic and their fragments ⋮ Implicational (semilinear) logics. I: A new hierarchy ⋮ Fragments of R-mingle ⋮ Triangular norm based predicate fuzzy logics ⋮ On some categories of involutive centered residuated lattices ⋮ Distributive full Lambek calculus has the finite model property ⋮ Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Representation by triples of algebras with an MV-retract ⋮ A comparative study of variable precision fuzzy rough sets based on residuated lattices
This page was built for publication: Adding involution to residuated structures
