Involutive right-residuated l-groupoids

DOI10.1007/S00500-015-1765-7MaRDI QIDQ2402069zbMATH OpenOpenAlexFDO

Authors Ivan Chajda, Sándor Radeleczki

Publication date 6 September 2017

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1810.09534

zbMATH Keywords

MV-algebraresiduated latticeantitone involutionbasic algebracongruence regularityright-residuated l-groupoid

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Other algebras related to logic (03G25) Pseudocomplemented lattices (06D15)

Abstract: A common generalization of orthomodular lattices and residuated lattices is provided corresponding to bounded lattices with an involution and sectionally extensive mappings. It turns out that such a generalization can be based on integral right-residuated l-groupoids. This general framework is applied to MV-algebras,orthomodular lattices, Nelson algebras, basic algebras and Heyting algebras.

Recommendations

• Residuated structures and orthomodular lattices
• A note on residuated po-groupoids and lattices with antitone involutions
• Involutive residuated lattices based on modular and distributive lattices.
• Residuated structures with involution
• Two generalizations of bounded involutive lattices and of ortholattices

Cites work

• scientific article; zbMATH DE number 3470465 (Why is no real title available?)
• scientific article; zbMATH DE number 1288352 (Why is no real title available?)
• scientific article; zbMATH DE number 2099145 (Why is no real title available?)
• scientific article; zbMATH DE number 2099895 (Why is no real title available?)
• scientific article; zbMATH DE number 2199279 (Why is no real title available?)
• scientific article; zbMATH DE number 3342898 (Why is no real title available?)
• scientific article; zbMATH DE number 2213264 (Why is no real title available?)
• A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
• Additivity of the commutator and residuation
• An approach to orthomodular lattices via lattices with an antitone involution
• Are basic algebras residuated structures?
• Basic algebras and their applications an overview
• Constructive logic with strong negation as a substructural logic
• Ideals and congruences of basic algebras
• Information completeness in Nelson algebras of rough sets induced by quasiorders
• Many-valued quantum algebras
• Modal operators on commutative residuated lattices
• Monteiro spaces and rough sets determined by quasiorder relations: models for Nelson algebras
• Some Properties of Residuated Lattices
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras

Cited in

(5)

• A note on residuated po-groupoids and lattices with antitone involutions
• A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
• Residuated structures and orthomodular lattices
• Generalized one-sided residuated groupoids.
• Two generalizations of bounded involutive lattices and of ortholattices

This page was built for publication: Involutive right-residuated l-groupoids

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