Switch to: Citations

References in:

Paraconsistent logic and model theory

Studia Logica 43 (1-2):17 - 32 (1984)

Add references

You must login to add references.

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details 8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index. Areas of Mathematics in Philosophy of Mathematics Philosophy of Mathematics $24.78 used $49.54 new $49.59 from Amazon View on Amazon.com Direct download (2 more) Export citation Bookmark 220 citations
A semantical Analysis of the Calculi C n.Newton C. A. Da Costa & E. H. Alves - 1977 - Notre Dame Journal Fo Formal Logic 18 (4):621-630.details Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic Direct download (4 more) Export citation Bookmark 43 citations
On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.details Logic and Philosophy of Logic Paraconsistent Logic in Logic and Philosophy of Logic Direct download (5 more) Export citation Bookmark 170 citations
A semantical analysis of the calculi Cn.Newton C. A. da Costa - 1977 - Notre Dame Journal of Formal Logic 18:621.details Logic and Philosophy of Logic Logics in Logic and Philosophy of Logic Direct download (5 more) Export citation Bookmark 37 citations
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.details Paraconsistent Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark 123 citations

1