ALGEBRAIC EXPANSIONS OF LOGICS

DOI10.1017/JSL.2022.47MaRDI QIDQ5879177zbMATH OpenOpenAlexFDO

Authors Miguel Campercholi, Diego Castaño, Patricio Díaz Varela, Joan Gispert i Brasó

Publication date 27 February 2023

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/jsl.2022.47

zbMATH Keywords

algebraic functionsequationally definable functionsexpansionslattice-ordered groupsMV-algebras

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) MV-algebras (06D35) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Recommendations

• Algebraically expandable classes
• Algebraically expandable classes of implication algebras
• Implicit connectives of algebraizable logics
• Expanding \(\text{FL}_{ew}\) with a Boolean connective
• Abelian logic and the logics of pointed lattice-ordered varieties

Cites work

• Abstract algebraic logic. An introductory textbook
• Algebraic foundations of many-valued reasoning
• Algebraic functions
• Algebraically expandable classes
• Algebraically expandable classes of implication algebras
• Algebras Whose Congruence Lattices are Distributive.
• An algebraic approach to intuitionistic connectives
• Birkhoff-like sheaf representation for varieties of lattice expansions
• Complete theories
• Free lattice-ordered Abelian groups. II
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1344825 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• Implicit connectives of algebraizable logics
• Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
• On the structure of hoops
• Perfect MV-algebras and their logic
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• The logic of equilibrium and abelian lattice ordered groups

Cited in

(2)

• Extension properties and subdirect representation in abstract algebraic logic
• scientific article; zbMATH DE number 3845545 (Why is no real title available?)

This page was built for publication: ALGEBRAIC EXPANSIONS OF LOGICS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5879177)