The undecidability of formal definitions in the theory of finite groups

, &
Bulletin of the Section of Logic 24:56-63 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

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.
On the Philosophical Import of Some Accomplishments of Newton da Costa DOI: 10.5007/1808-1711.2011v15n1p7.Marcel Guillaume - 2011 - Principia: An International Journal of Epistemology 15 (1):7-14.
The Philosophy of Logic of Francisco Miró Quesada Cantuarias.Newton da Costa, José Carlos Cifuentes & Luis Felipe Bartolo Alegre - 2020 - South American Journal of Logic 6 (2):189-208.
Professor Newton CA da Costa awarded Nicholas Copernicus University medal of merit.Newton C. A. da Costa, Jean-Yves Béziau & Otávio Bueno - 1999 - Logic and Logical Philosophy 7:7-10.
Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal.Michael Richard Starks - 2019 - Reality Press.
N. C. A. Da Costa and F. A. Doria. Consequences of an exotic definition for P = NP. Applied Mathematics and Computation, vol. 145 (2003), pp. 655–665. [REVIEW]Ralf Schindler - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
From logics of formal inconsistency to logics of formal classicality.Hitoshi Omori - 2020 - Logic Journal of the IGPL 28 (5):684-711.
N. C. A. Da Costa and F. A. Doria. Consequences of an exotic definition for P = NP. Applied Mathematics and Computation, vol. 145 (2003), pp. 655–665. [REVIEW]Ralf Schindler - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
A note on the logic CAR of da Costa and Béziau.Marek Nowak - 1999 - Bulletin of the Section of Logic 28 (1):43-49.
Review: A. I. Mal'cev, Undecidability of the Elementary Theory of Finite Groups. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):394-394.

Analytics

Added to PP
2014-01-21

Downloads
24 (#155,087)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

The incompleteness of theories of games.Marcelo Tsuji, Newton C. A. Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553-568.
The Incompleteness of Theories of Games.Marcelo Tsuji, Newton C. A. Da Costa & Francisco A. Doria - 1998 - Journal of Philosophical Logic 27 (6):553 - 568.

Add more citations

References found in this work

Add more references