Quasivarieties of logic, regularity conditions and parameterized algebraization

DOI10.1023/A:1024673906579zbMATH Open1039.08005OpenAlexW1519453649MaRDI QIDQ1422448FDOQ1422448

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

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

zbMATH Keywords

coherenceregularitydeductive systemsquasivarietiesalgebraic logicalgebraic coherence

Mathematics Subject Classification ID

Quasivarieties (08C15) Algebraic logic (03G99)

Cited In (8)

• Title not available (Why is that?)
• Quasi-subtractive varieties
• Title not available (Why is that?)
• Bilattice logics and demi-negation
• Title not available (Why is that?)
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Title not available (Why is that?)
• 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)