A deduction theorem schema for deductive systems of propositional logics

DOI10.1007/BF00370679zbMath0755.03014OpenAlexW2011556534MaRDI QIDQ1189891

Janusz Czelakowski, Wiesław Dziobiak

Publication date: 27 September 1992

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

Full work available at URL: https://doi.org/10.1007/bf00370679

zbMATH Keywords

deduction theorempropositional logics

Mathematics Subject Classification ID

General logic (03B99)

Related Items (9)

Deduction theorems within RM and its extensions ⋮ Algebraic study of two deductive systems of relevance logic ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Deduction theorem in congruential modal logics ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Contextual deduction theorems ⋮ Fregean logics with the multiterm deduction theorem and their algebraization

Cites Work

• Algebraic aspects of deduction theorems
• Local deductions theorems
• Introduction to the special issue on algebraic logic
• A survey of deduction theorems for the propositional calculi
• Deduction theorems for RM and its extensions
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Algebraizable logics

This page was built for publication: A deduction theorem schema for deductive systems of propositional logics