\(L\)-algebras and three main non-classical logics
From MaRDI portal
Publication:2140578
DOI10.1016/j.apal.2022.103121zbMath1504.03040OpenAlexW4220900017MaRDI QIDQ2140578
Publication date: 23 May 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2022.103121
Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Quantum logic (03G12) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items (5)
Prime \(L\)-algebras and right-angled Artin groups ⋮ The geometry of discrete \(L\)-algebras ⋮ Linear \(L\)-algebras and prime factorization ⋮ Unnamed Item ⋮ Corrigendum and addendum to: ``\(L\)-algebras and three main non-classical logics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Active lattices determine \(\mathrm{AW}^\ast\)-algebras
- Effect algebras and unsharp quantum logics.
- Von Neumann algebras, \(L\)-algebras, Baer*-monoids, and Garside groups
- Residuated lattices. An algebraic glimpse at substructural logics
- \(L\)-algebras, self-similarity, and \(l\)-groups
- Quantum logic in dagger kernel categories
- A general Glivenko theorem
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Groupes et anneaux reticules
- On the set-theoretical Yang-Baxter equation
- A right-invariant lattice-order on groups of paraunitary matrices
- Generalized MV-algebras
- A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation
- Logical connectives on lattice effect algebras
- Set-theoretical solutions to the quantum Yang-Baxter equation
- L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation
- Commutative \(L\)-algebras and measure theory
- Structure groups of \(L\)-algebras and Hurwitz action
- \(L\)-effect algebras
- Decomposition of Garside groups and self-similar \(L\)-algebras
- Hilbert algebras as implicative partial semilattices
- Cancellative residuated lattices
- Right \(l\)-groups, geometric Garside groups, and solutions of the quantum Yang-Baxter equation
- Left ideal structure of \(C^*\)-algebras
- Rechtskomplementäre Halbgruppen, Axiome, Polynome, Kongruenzen
- Les immeubles des groupes de tresses généralises
- Artin-Gruppen und Coxeter-Gruppen
- Implication connectives in orthomodular lattices
- MV-algebras: a variety for magnitudes with archimedean units
- Pseudo-complements in semi-lattices
- Theory of braids
- Isometries of operator algebras
- On closed elements in closure algebras
- On the geometry of projections in certain operator algebras
- Groupes de Garside
- The lattice theoretic background of the dimension theory of operator algebras
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Glivenko theorems for substructural logics over FL
- SEMIDIRECT PRODUCTS IN ALGEBRAIC LOGIC AND SOLUTIONS OF THE QUANTUM YANG–BAXTER EQUATION
- Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
- The Semigroup of Varieties of Brouwerian Semilattices
- Glivenko like theorems in natural expansions of BCK-logic
- A non-commutative generalization of MV-algebras
- Pseudo MV-algebras are intervals in ℓ-groups
- Symmetric Quantum Sets and L-Algebras
- The separation theorem of intuitionist propositional calculus
- Sharp elements in effect algebras
- The paraunitary group of a von Neumann algebra
This page was built for publication: \(L\)-algebras and three main non-classical logics
