A representation of residuated lattices satisfying the double negation law

DOI10.1007/s00500-017-2673-9zbMath1398.03213OpenAlexW2624524300MaRDI QIDQ1797800

Ivan Chajda

Publication date: 22 October 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-017-2673-9

zbMATH Keywords

involutionresiduated latticeidempotent semiringdouble negation law

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items

Right adjoint algebras versus operator left residuated posets, Extensions of posets with an antitone involution to residuated structures, Implication operators generating pairs of weak negations and their algebraic structure

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• MV-semirings and their sheaf representations
• Interior and closure operators on bounded residuated lattices
• A representation of basic algebras by coupled right near semirings
• Non-commutative Multiple-Valued Logic Algebras
• Representing quantum structures as near semirings