A survey of deduction theorems for the propositional calculi

DOI10.1007/BF02125917MaRDI QIDQ1211481zbMATH OpenFDO

Authors Witold A. Pogorzelski

Publication date 1964

Published in Studia Logica (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05)

Cites work

• Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
• scientific article; zbMATH DE number 3086346 (Why is no real title available?)
• scientific article; zbMATH DE number 3092135 (Why is no real title available?)
• Independent Axiom Schemata for the Pure Theory of Entailment
• Modalities and Quantification
• Strict implication, deducibility and the deduction theorem
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• The deduction theorem in a functional calculus of first order based on strict implication
• The pure calculus of entailment

Cited in

(7)

• Algebraic aspects of deduction theorems
• Local deductions theorems
• A deduction theorem schema for deductive systems of propositional logics
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright
• Deduction theorems within RM and its extensions
• Consequence and interpolation in Łukasiewicz logic

This page was built for publication: A survey of deduction theorems for the propositional calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1211481)