ALGEBRAIC EXPANSIONS OF LOGICS
From MaRDI portal
Publication:5879177
DOI10.1017/jsl.2022.47OpenAlexW4283262052MaRDI QIDQ5879177
Joan Gispert i Brasó, José Patricio Díaz Varela, Miguel A. Campercholi, Diego N. Castaño
Publication date: 27 February 2023
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2022.47
MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Abstract algebraic logic (03G27)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic functions
- Complete theories
- Algebraically expandable classes
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Preservation theorems for limits of structures and global sections of sheaves of structures
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
- Implicit connectives of algebraizable logics
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- The logic of equilibrium and abelian lattice ordered groups
- Birkhoff-like sheaf representation for varieties of lattice expansions
- Free lattice-ordered Abelian groups. II
- Perfect MV-algebras and their logic
- ALGEBRAICALLY EXPANDABLE CLASSES OF IMPLICATION ALGEBRAS
- An algebraic approach to intuitionistic connectives
- Sequent and hypersequent calculi for abelian and łukasiewicz logics
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
- Algebras Whose Congruence Lattices are Distributive.
This page was built for publication: ALGEBRAIC EXPANSIONS OF LOGICS
