Adding involution to residuated structures

DOI10.1023/B:STUD.0000037126.29193.09MaRDI QIDQ1770973zbMATH OpenFDO

Authors Nikolaos Galatos, J. G. Raftery

Publication date 7 April 2005

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

contractionexpansioninvolutionnegationresiduated latticemingle

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Logical aspects of lattices and related structures (03G10)

Recommendations

• Residuated structures with involution
• Conserving involution in residuated structures
• An introduction to involutive structures
• Extensions of posets with an antitone involution to residuated structures
• Commutative integral bounded residuated lattices with an added involution
• Adding inverses to diagrams encoding algebraic structures
• Fixed elements in involutive residuated lattices
• Order-reversing involutions and lattices with residuation
• The word problem for involutive residuated lattices and related structures
• On some additive mappings in rings with involution

Cited in

(33)

• Twist structures and Nelson conuclei
• Possibility distributions generated by intuitionistic \textsf{L}-fuzzy sets
• Involutive residuated lattices based on modular and distributive lattices.
• Conserving involution in residuated structures
• On involutive FL\(_{e}\)-monoids
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Triangular norm based predicate fuzzy logics
• The subvariety of commutative residuated lattices represented by twist-products
• On some categories of involutive centered residuated lattices
• Algebraic proof theory for substructural logics: cut-elimination and completions
• On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices
• Residuated structures with involution
• Co-rotation constructions of residuated semigroups
• Implicational (semilinear) logics. I: A new hierarchy
• Projectivity and unification in substructural logics of generalized rotations
• An algebraic glimpse at bunched implications and separation logic
• Semilinear De Morgan monoids and epimorphisms
• Epimorphisms in varieties of subidempotent residuated structures
• Representation by triples of algebras with an MV-retract
• Distributive full Lambek calculus has the finite model property
• A comparative study of variable precision fuzzy rough sets based on residuated lattices
• Formal systems of fuzzy logic and their fragments
• Gluing residuated lattices
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Residuated bilattices
• Fragments of R-mingle
• Compatibly involutive residuated lattices and the Nelson identity
• Complemented MacNeille completions and algebras of fractions
• The logic Ł^•
• Minimal varieties of involutive residuated lattices
• Representable idempotent commutative residuated lattices

This page was built for publication: Adding involution to residuated structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770973)