×

On the structural completeness of some pure implicational propositional calculi. (English) Zbl 0268.02013


MSC:

03B05 Classical propositional logic
03B45 Modal logic (including the logic of norms)
03B99 General logic
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Lemmon E. I., Meredith C. A., Meredith D., Prior A. N., Thomas, I.,Calculi of pure strict implication. Phil. Dep. Canterbury University College, Christchurch, New Zealand 1957.
[2] Meredith, C. A., Prior A. N.,Investigations into implicational S5. Zeitschrift f. math. Logik u. Grundlagen d. Math. vol. 10, 1964. · Zbl 0146.00803
[3] Pogorzelski W. A.,On the scope of the classical deduction theorem. The Journal of Symbolic Logic, vol. 33, 1968. · Zbl 0175.26001
[4] Pogorzelski W. A., Structural completeness of the propositional calculus. Bulletin de l’Académie Polonaise des Sciences, Série des sciences math., astr., et phys., Vol. XIX, Nr 5, 1971.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.