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

coherenceregularitydeductive systemsquasivarietiesalgebraic logicalgebraic coherence

Mathematics Subject Classification ID

Quasivarieties (08C15) Algebraic logic (03G99)

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

(8)

• scientific article; zbMATH DE number 3904588 (Why is no real title available?)
• Quasi-subtractive varieties
• scientific article; zbMATH DE number 2015279 (Why is no real title available?)
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Bilattice logics and demi-negation
• scientific article; zbMATH DE number 7264200 (Why is no real title available?)
• scientific article; zbMATH DE number 6287612 (Why is no real title available?)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant 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)