A survey of deduction theorems for the propositional calculi

DOI10.1007/BF02125917zbMath0292.02003MaRDI QIDQ1211481

Witold A. Pogorzelski

Publication date: 1964

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

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• The deduction theorem for Lukasiewicz many-valued propositional calculi
• Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
• Independent Axiom Schemata for the Pure Theory of Entailment
• The pure calculus of entailment
• Strict implication, deducibility and the deduction theorem
• The deduction theorem in a functional calculus of first order based on strict implication
• Modalities and Quantification