La véritable portée du théoreme de Lindenbaum-Asser

Logique Et Analyse 167 (168):341-359 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Resenha de 'Logiques classiques et non classiques. essai sur les fondements de la logique' (Newton C.A. da Costa).Walter Carnielli - 2000 - Manuscrito 23 (1):235-241.
La Pointure du Symbole.Jean-Yves Beziau (ed.) - 2014 - Petra.
Ladrière Jean. Les limitations internes des formalismes. Étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques. Collection de logique mathématique, B II. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1957, XV + 715 pp. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (3):270-270.
Sur la Portée du Théorème de M. Gödel.Marcel Barzin - 1947 - Journal of Symbolic Logic 12 (1):25-25.
Une preuve formelle et intuitionniste du théorème de complétude de la logique classique.Jean-Louis Krivine - 1996 - Bulletin of Symbolic Logic 2 (4):405-421.
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.
Bayart A.. Correction de la logique modale du premier et du second ordre S5, Logique et analyse, n.s. vol. 1 , pp. 28–45. . p. 54.)Bayart A.. Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5. Logique et analyse, n.s. vol. 2 , pp. 99–121. [REVIEW]Kazuo Matsumoto - 1965 - Journal of Symbolic Logic 30 (3):373-374.
Correction de la logique modale du premier et du second ordre S5.Arnould Bayart - 1958 - Logique Et Analyse 1 (1):28-45.
Les emprunts mystiques entre Islam et Christianisme et la véritable portée du Libre d'Amic.D. Urvoy - 1979 - Studia Lulliana 23 (1):37-44.

Analytics

Added to PP
2014-01-20

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Jean-Yves Beziau
Federal University of Rio de Janeiro

Citations of this work

Add more citations

References found in this work

No references found.

Add more references