Regularity in residuated lattices
From MaRDI portal
Publication:5212869
DOI10.22111/ijfs.2019.5023zbMath1429.03216OpenAlexW2993690943MaRDI QIDQ5212869
Arsham Borumand Saeid, Liviu-Constantin Holdon
Publication date: 30 January 2020
Full work available at URL: https://ijfs.usb.ac.ir/article_5023_9f59b98d08a2c41827240e5e57926094.pdf
Logical aspects of lattices and related structures (03G10) Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) MV-algebras (06D35)
Related Items (3)
Characterization of residuated lattices via multipliers ⋮ Unnamed Item ⋮ The prime and maximal spectra and the reticulation of residuated lattices with applications to De Morgan residuated lattices
Cites Work
- A glimpse of deductive systems in algebra
- Residuated lattices. An algebraic glimpse at substructural logics
- Mathematics behind fuzzy logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- A proof of standard completeness for Esteva and Godo's logic MTL
- Algebraic and topological results on lifting properties in residuated lattices
- States on semi-divisible residuated lattices
- Free algebras in varieties of Stonean residuated lattices
- Injectives in residuated algebras
- Residuated distributive lattices
- Archimedean Residuated Lattices
- THE STRUCTURE OF RESIDUATED LATTICES
- Dense Elements and Classes of Residuated Lattices
- FREE REPRESENTABLE IDEMPOTENT COMMUTATIVE RESIDUATED LATTICES
- Logics without the contraction rule
- Algebraizable logics
- On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi
- The finite model property for various fragments of intuitionistic linear logic
- Co-Stone residuated lattices
- Non-Commutative Residuated Lattices
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Regularity in residuated lattices
