Residuated expansions of lattice-ordered structures

DOI10.1007/978-3-030-53654-1_4zbMath1498.06041OpenAlexW3127990506MaRDI QIDQ2658277

Hiroakira Ono, Majid Alizadeh

Publication date: 19 March 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53654-1_4

zbMATH Keywords

lattice-ordered groupoidVisser algebralattice with implicationlaw of residuationresiduated expansionweak Heyting algebra

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Ordered structures (06F99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• Residuated lattices. An algebraic glimpse at substructural logics
• A propositional logic with explicit fixed points
• Bounded distributive lattices with fusion and implication
• Fuzzy logics from substructural perspective
• Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
• Logic and the modalities in the twentieth century
• The finite embeddability property for residuated groupoids.
• Unified correspondence and proof theory for strict implication
• Bounded distributive lattices with strict implication

This page was built for publication: Residuated expansions of lattice-ordered structures