Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras

DOI10.1016/j.fss.2014.09.014zbMath1385.06005OpenAlexW2027759179MaRDI QIDQ1697346

Ewa S. Orłowska, Ivo Duentsch, Clint J. van Alten

Publication date: 19 February 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2014.09.014

zbMATH Keywords

BL-algebranon-classical logicsresiduated latticeMTL-algebradiscrete duality\(n\)-potent law

Mathematics Subject Classification ID

Lattices and duality (06D50) Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (3)

Duality results for (co)residuated lattices ⋮ Editorial ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

Uses Software

• SQEMA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties of BL-algebras
• Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
• Algebras for Galois-style connections and their discrete duality
• Completions of GBL-algebras: negative results
• Stone duality for lattices
• Metamathematics of fuzzy logic
• Towards automating duality
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Duality for algebras of relevant logics
• Solvable cases of the decision problem
• THE STRUCTURE OF RESIDUATED LATTICES
• On the Correspondence Between Modal and Classical Logic: an Automated Approach
• A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC
• On n ‐contractive fuzzy logics
• Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
• Representation of Distributive Lattices by means of ordered Stone Spaces

This page was built for publication: Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras