Quantifiers on L-algebras
From MaRDI portal
Publication:2105714
DOI10.1515/ms-2022-0096OpenAlexW4313213052MaRDI QIDQ2105714
Publication date: 8 December 2022
Published in: Mathematica Slovaca (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1515/ms-2022-0096
existential quantifieruniversal quantifierL-algebrafunctional monadic L-algebramonadic idealmonadic L-algebra
Logical aspects of lattices and related structures (03G10) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intervals in \(l\)-groups as \(L\)-algebras
- The structure group of an \(L\)-algebra is torsion-free
- Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups
- Monadic pseudo-equality algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Monadic GMV-algebras
- Monadic bounded commutative residuated \(\ell\)-monoids
- \(L\)-algebras, self-similarity, and \(l\)-groups
- Metamathematics of fuzzy logic
- Varieties of monadic Heyting algebras. I
- Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
- The structure group of a generalized orthomodular lattice
- The \(L\)-algebra of Hurwitz primes
- A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation
- Monadic bounded hoops
- Concerning cone algebras
- On monadic MV-algebras
- Monadic bounded residuated lattices
- Monadic pseudo BE-algebras
- State \(L\)-algebras and derivations of \(L\)-algebras
- Orthomodular lattices as \(L\)-algebras
- Monadic classes of quantum B-algebras
- Results in L-algebras
- Lattice-ordered effect algebras and L-algebras
- On residuated lattices with universal quantifiers
- Monadic MV-algebras. I: A study of subvarieties
- Right \(l\)-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation
- Non-commutative Multiple-Valued Logic Algebras
- Monadic BE-algebras
- A non-commutative generalization of MV-algebras
- Bricks and pseudo MV-algebras are equivalent
- Komplementäre Halbgruppen. Axiomatik und Arithmetik
- Monadic NM-algebras
This page was built for publication: Quantifiers on L-algebras