Fregean logics with the multiterm deduction theorem and their algebraization

DOI10.1007/s11225-005-1212-3zbMath1058.03078MaRDI QIDQ1770606

Janusz Czelakowski, Don Pigozzi

Publication date: 7 April 2005

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-005-1212-3

zbMATH Keywords

deduction theorem; quasivariety; abstract algebraic logic; algebraizable logic; equivalential logic; protoalgebraic logic; Leibniz congruence; self-extensional logic

Mathematics Subject Classification ID

03G25: Other algebras related to logic

08C15: Quasivarieties

03C05: Equational classes, universal algebra in model theory

03B22: Abstract deductive systems

Related Items

A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, A Mathematical Life, Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems, Free spectra of linear equivalential algebras, Fregean logics, Update to ``A survey of abstract algebraic logic, A computational glimpse at the Leibniz and Frege hierarchies, Beyond Rasiowan systems: unital deductive systems, Beyond Rasiowa's algebraic approach to non-classical logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• On the structure of varieties with equationally definable principal congruences. II
• Algebraic aspects of deduction theorems
• Local deductions theorems
• Introduction to the special issue on algebraic logic
• A deduction theorem schema for deductive systems of propositional logics
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Algebraizable logics
• Fregean subtractive varieties with definable congruence
• Congruence quasi-orderability in subtractive varieties
• Two Mal'cev-type theorems in universal algebra