Quasivarieties of logic, regularity conditions and parameterized algebraization

DOI10.1023/A:1024673906579MaRDI QIDQ1422448zbMATH OpenOpenAlexFDO

Authors G. D. Barbour, J. G. Raftery

Publication date 15 February 2004

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1024673906579

zbMATH Keywords

algebraic coherencealgebraic logiccoherencedeductive systemsquasivarietiesregularity

Mathematics Subject Classification ID

Algebraic logic (03G99) Quasivarieties (08C15)

Review text

The authors exploit the many formal similarities between quasivarieties of logic and relatively congruence-regular quasivarieties. Indeed, they develop a unifying model for them which extends the Blok-Pigozzi theory of algebraizable deductive systems. The development includes the detailed proof of many theorems, the presentation of several useful examples of the results, an important counterexample (a quasivariety need not be \(t\)-deductive for every \(t\)), and an application of the authors' theory to algebraic coherence. Finally, the authors' theory has the bonus of connections to homological algebra and congruence-class geometries. Unsolved problem (2003): Prove or disprove that \(t\)-regular quasivarieties are \(t\)-deductive.

Recommendations

• On congruence modularity in varieties of logic.
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• scientific article; zbMATH DE number 2156380
• scientific article; zbMATH DE number 67021
• Algebraizable logics

Cited in

(11)

• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Quasi-subtractive varieties
• Bilattice logics and demi-negation
• scientific article; zbMATH DE number 3904588 (Why is no real title available?)
• scientific article; zbMATH DE number 2015279 (Why is no real title available?)
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• scientific article; zbMATH DE number 7264200 (Why is no real title available?)
• scientific article; zbMATH DE number 6287612 (Why is no real title available?)
• Varieties of MV-monoids and positive MV-algebras
• Classical logic with n truth values as a symmetric many-valued logic

This page was built for publication: Quasivarieties of logic, regularity conditions and parameterized algebraization

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