×

The pure calculus of entailment. (English) Zbl 0113.00403


PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Entailment and relevance (1959)
[2] Pure rigorous implication as a sequenzen-kalkül 24 pp 282– (1959)
[3] Strict implication, deducibility, and the deduction theorem 18 pp 234– (1953) · Zbl 0053.34103
[4] The deduction theorem in a functional calculus of first order based on strict implication 11 pp 115– (1946) · Zbl 0063.00206
[5] Logical studies (1957) · Zbl 0081.01001
[6] DOI: 10.1002/malq.19600060106 · Zbl 0095.00702 · doi:10.1002/malq.19600060106
[7] Modalities in Ackermann’s ”rigorous implication,” 24 pp 107– (1959) · Zbl 0090.00903
[8] An essay in modal logic (1951) · Zbl 0043.00701
[9] A modification of Ackermann’s ”rigorous implication,” 23 pp 457– (1958)
[10] Memoirs of the Faculty of Liberal Arts, Fukui University pp 55– (1955)
[11] Completeness theorems for the systems E of entailment and EQ of entailment with quantification (1959)
[12] Introduction to logical theory (1952)
[13] Begründung einer strengen Implikation 21 pp 113– (1956) · Zbl 0072.00106
[14] Proceedings of the Aristotelian Society 59 pp 233– (1959) · doi:10.1093/aristotelian/59.1.233
[15] Mind 39 pp 440– (1930)
[16] On the interpretation of the sign ” 18 pp 60– (1953)
[17] Methodos 2 pp 56– (1950)
[18] Proceedings of the Aristotelian Society 20 pp 40– (1920) · doi:10.1093/aristotelian/20.1.40
[19] Elementy logiki matematycznej (1958)
[20] Symbolic logic (1932)
[21] Calculi of pure strict implication (1956)
[22] Proceedings of the Aristotelian Society 64 pp 207– (1946)
[23] An introduction to logic (1925)
[24] Studia Societatis Scientlarum Torunensls 1 pp 1– (1948)
[25] Sitzungsberichte der Preussischen Akademie der Wissenschaften pp 42– (1930)
[26] Symbolic logic (1952)
[27] DOI: 10.3406/phlou.1937.3056 · doi:10.3406/phlou.1937.3056
[28] DOI: 10.1093/analys/2.5.70 · doi:10.1093/analys/2.5.70
[29] Theoria 25 pp 1– (1959)
[30] Kontrolliertes Denken (1951)
[31] Medieval logic (1952)
[32] The nature of thought (1939)
[33] Mind 63 pp 451– (1954)
[34] A formal analysis of entailment (1960)
[35] Tautological entailments (1959) · Zbl 1230.03060
[36] DOI: 10.5840/monist193141325 · doi:10.5840/monist193141325
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.