Fregean logics with the multiterm deduction theorem and their algebraization

DOI10.1007/S11225-005-1212-3zbMath1058.03078OpenAlexW2076769727MaRDI 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 theoremquasivarietyabstract algebraic logicalgebraizable logicequivalential logicprotoalgebraic logicLeibniz congruenceself-extensional logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22)

Related Items (10)

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fregean logics with the multiterm deduction theorem and their algebraization