A non commutative generalization of *-autonomous lattices
From MaRDI portal
Publication:3624914
DOI10.1007/s10587-008-0047-2zbMath1174.06008MaRDI QIDQ3624914
Publication date: 6 May 2009
Published in: Czechoslovak Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10587-008-0047-2
ideal; congruence; residuated lattice; normal ideal; \(\star \)-autonomous lattice; pseudo \(\star \)-autonomous lattice
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Non-commutative Łukasiewicz propositional logic
- Substructural logics: a primer
- Generalized MV-algebras
- Prime spectra of non-commutative generalizations of MV-algebras.
- \(\bigstar\)-autonomous lattices
- \(\bigstar\)-autonomous lattices and fuzzy sets
- THE STRUCTURE OF RESIDUATED LATTICES
- Quantales and (noncommutative) linear logic
- A non-commutative generalization of MV-algebras