$\alpha$-models and the systems $T$ and $T^\ast$

Notre Dame Journal of Formal Logic 15 (3):443-454 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891405

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

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

alpha-models and systems T and T.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15:443.
Newton C. A. da Costa. On the theory of inconsistent formal systems. Notre Dame journal of formal logic, vol. 15 , pp. 497–510. - Newton C. A. da Costa. The philosophical import of paraconsistent logic. The journal of non-classical logic , vol. 1 , pp. 1–19. - Newton C. A. da Costa. On paraconsistent set theory. Logique et analyse, n.s. vol. 29 , pp. 361–371. - Newton C. A. da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent logic in a historical perspective. Logique et analyse, vol. 38 , pp. 111–126. [REVIEW]Henry Kyburg - 1998 - Journal of Symbolic Logic 63 (3):1183-1184.
Paraconsistency and the $\rm C$-systems of da Costa.Igor Urbas - 1989 - Notre Dame Journal of Formal Logic 30 (4):583-597.
Modal systems in the neighbourhood of ${\rm T}$.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5 (1):59-61.
Review of Newton C.A. Da Costa, Steven French, Science and Partial Truth: A Unitary Approach to Models and Scientific Reasoning. [REVIEW]Barbara Tuchanska - 2004 - Notre Dame Philosophical Reviews 2004 (3).
Extensions of T°.Stanley E. Hayes - 1972 - Notre Dame Journal of Formal Logic 13:501.
Extensions of $T^0$.Stanley E. Hayes - 1972 - Notre Dame Journal of Formal Logic 13 (4):501-505.
Unusual feature of $S3^\ast$.Ivo Thomas - 1973 - Notre Dame Journal of Formal Logic 14 (2):276-276.
Modal trees for T and S5.B. Davidson - 1977 - Notre Dame Journal of Formal Logic 18:602.
Decision procedures for S2° and T°.Ivo Thomas - 1964 - Notre Dame Journal of Formal Logic 5:319.

Analytics

Added to PP
2010-08-24

Downloads
45 (#473,051)

6 months
18 (#152,793)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references