A Non-finitary Sentential Logic that is Elementarily Algebraizable

DOI10.1093/LOGCOM/EXN087zbMath1204.03020OpenAlexW2096916059MaRDI QIDQ3583103

James G. Raftery

Publication date: 26 August 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn087

zbMATH Keywords

consequence relationquasivarietyalgebraizabledeductive systemfinitary

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Related Items (3)

Abstract algebraic logic. An introductory chapter ⋮ Epimorphisms, definability and cardinalities ⋮ On prevarieties of logic

This page was built for publication: A Non-finitary Sentential Logic that is Elementarily Algebraizable