A survey of deduction theorems for the propositional calculi
type: Item
instance of: scholarly article
title: A survey of deduction theorems for the propositional calculi
zbMATH Open document ID: 0292.02003
DOI: 10.1007/BF02125917
author: Witold A. Pogorzelski
published in: Studia Logica
publication date: 1964-01-01T00:00:00Z
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03B05
zbMATH DE Number: 3456883
MaRDI profile type: Publication
cites work: The pure calculus of entailment
cites work: Independent Axiom Schemata for the Pure Theory of Entailment
cites work: The deduction theorem in a functional calculus of first order based on strict implication
cites work: Strict implication, deducibility and the deduction theorem
cites work: Modalities and Quantification
cites work: Q5825229
cites work: Q5830893
cites work: The deduction theorem for Lukasiewicz many-valued propositional calculi
cites work: Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
description: scientific article; zbMATH DE number 3456883