Boh Ivan. A study in Burleigh: Tractatus de regulis generalibus consequentiarum. Notre Dame journal of formal logic, vol. 3 , pp. 83–101 [Book Review]

Journal of Symbolic Logic 29 (2):91-92 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270415

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A study in Burleigh: Tractatus de regulis generalibus consequentiarum.Ivan Boh - 1962 - Notre Dame Journal of Formal Logic 3 (2):83-101.
A Study in Burleigh: Tractatus de Regulis Generalibus Consequentiarum.Ivan Boh - 1964 - Journal of Symbolic Logic 29 (2):91-92.
Bolesław Sobociński. A contribution to the axiomatization of Lewis' system S5. Notre Dame journal of formal logic, vol. 3 , pp. 51–63. - Bolesław Sobociński. On the generalized Brouwerian axioms.Notre Dame journal of formal logic, vol. 3 , pp. 123–128. - Bolesław Sobociński. A note on modal systems.Notre Dame journal of formal logic, vol. 4 , pp. 155–157. - Ivo Thomas. Solutions of five modal problems of Sobociński.Notre Dame journal of formal logic, vol. 3 , pp. 199–200. - Ivo Thomas. S1° and Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 151–152. - Ivo Thomas. S1° and generalized Si-axioms.Notre Dame journal of formal logic, vol. 4 , pp. 153–154. - Ivo Thomas. A final note on S1° and the Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 , pp. 231–232. - Ivo Thomas. Modal systems in the neighbourhood of T.Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 59–61. - Ivo Thomas. Ten modal models. The journal of symbolic logic, vol. 29 no. 3 , pp. 125–12. [REVIEW]Nuel D. Belnap - 1966 - Journal of Symbolic Logic 31 (3):498-500.
Ivo Thomas. Finite limitations on Dummett's LC. Notre Dame journal of formal logic, vol. 3 , pp. 170–174.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):305.
Ivo Thomas. On the infinity of positive logic. Notre Dame journal of formal logic, vol. 3 , p. 108.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306.
Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
Ivo Thomas. The rule of excision in positive implication. Notre Dame journal of formal logic, vol. 3 , p. 64.Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):603.
Thomas Ivo. Independence of Faris-rejection-axioms. Notre Dame journal of formal logic, vol. 1 , pp. 48–51.Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (1):113-113.
Thomas Ivo. Independence of Tarski's law in Henkin's prepositional fragments. Notre Dame journal of formal logic, vol. 1 , pp. 74–78. [REVIEW]Hugues Leblanc - 1962 - Journal of Symbolic Logic 27 (1):111-111.
Bolesław Sobociński. Certain extensions of modal system S4. Notre Dame journal of formal logic, vol. 11 no. 3 , pp. 347–368. - Bolesław Sobociński. Concerning some extensions of S4. Notre Dame journal of formal logic, vol. 12 , pp. 363–370. - G. F. Schumm. Solutions to four modal problems of Sobocinski. Notre Dame journal of formal logic, vol. 12 , pp. 335–340. - J. Jay Zeman. A study of some systems in the neighborhood of S4.4. Notre Dame journal of formal logic, vol. 12 , pp. 341–357. - Bolesław Sobociński. A new class of modal systems. Notre Dame journal of formal logic, vol. 12 , pp. 371–377. - Bolesław Sobociński. A proper subsystem of S4.04. Notre Dame journal of formal logic, vol. 12 , pp. 381–384. [REVIEW]M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602.

Analytics

Added to PP
2013-11-22

Downloads
14 (#992,266)

6 months
14 (#254,087)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references