Fregean logics with the multiterm deduction theorem and their algebraization
type: Item
instance of: scholarly article
title: Fregean logics with the multiterm deduction theorem and their algebraization
zbMATH Open document ID: 1058.03078
published in: Studia Logica
publication date: 2005-04-07T00:00:00Z
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B22
Mathematics Subject Classification ID: 03C05
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 2153441
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: protoalgebraic logic
zbMATH Keywords: quasivariety
zbMATH Keywords: equivalential logic
zbMATH Keywords: algebraizable logic
zbMATH Keywords: self-extensional logic
zbMATH Keywords: Leibniz congruence
zbMATH Keywords: deduction theorem
author: Janusz Czelakowski
author: Don Pigozzi
MaRDI profile type: Publication
full work available at URL: s11225-005-1212-3
OpenAlex ID: W2076769727
cites work: Congruence quasi-orderability in subtractive varieties
cites work: Fregean subtractive varieties with definable congruence
cites work: On the structure of varieties with equationally definable principal congruences. II
cites work: Algebraizable logics
cites work: Q4011710
cites work: Q4029628
cites work: Introduction to the special issue on algebraic logic
cites work: Algebraic aspects of deduction theorems
cites work: Local deductions theorems
cites work: The parameterized local deduction theorem for quasivarieties of algebras and its application
cites work: A deduction theorem schema for deductive systems of propositional logics
cites work: Fregean logics
cites work: Q5519895
cites work: Q4273420
cites work: Q4715441
cites work: Fully adequate Gentzen systems and the deduction theorem
cites work: Two Mal'cev-type theorems in universal algebra
cites work: Q4011728
DOI: 10.1007/S11225-005-1212-3
description: scientific article; zbMATH DE number 2153441