Quasivarieties of logic, regularity conditions and parameterized algebraization

DOI10.1023/A:1024673906579zbMath1039.08005OpenAlexW1519453649MaRDI QIDQ1422448

G. D. Barbour, James 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

regularitycoherencealgebraic logicquasivarietiesdeductive systemsalgebraic coherence

Mathematics Subject Classification ID

Algebraic logic (03G99) Quasivarieties (08C15)

Related Items (4)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Bilattice Logics and Demi-Negation ⋮ Quasi-subtractive varieties

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