Paradeduction in axiomatic formal systems

, &
Logique Et Analyse 246 (62):161-176 (2019)
  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: 101,518

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

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.
Abstract Consequence and Logics - Essays in Honor of Edelcio G. de Souza.Alexandre Costa-Leite (ed.) - 2020 - London: College Publications.
Paraconsistency and the J-Systems of Arruda and da Costa.I. Urbas - 1988 - Logique Et Analyse 31 (21):27.
Discrete tense logic with beginning and ending time: An infinite hierarchy of complete axiomatic systems.L. Åqvist - 1991 - Logique Et Analyse 34:359-401.
On definitions in formal systems.Haskell B. Curry - 1958 - Logique Et Analyse 1 (3-4):105-114.
Logiques construites suivant les méthodes de da Costa.Jean-Yves Béziau - 1990 - Logique Et Analyse 131 (132):259-272.
D. Diogo de Sousa (1460-1532), bispo do Porto, homen de livros e leitor de Savonarola.Aires A. Nascimento - 1998 - Humanitas 50:701-708.
Logiques construites suivant les méthodes de da Costa I.Jean-Yves Béziau - 1990 - Logique Et Analyse 33 (31):259.
Combined da Costa Logics (world according to NCA da Costa).Vladimir L. Vasyukov - forthcoming - Logique Et Analyse.
The axiomatic method in theory and in practice.Yehuda Rav - 2008 - Logique Et Analyse 51 (202):125.

Analytics

Added to PP
2019-10-16

Downloads
2 (#1,898,268)

6 months
2 (#1,696,787)

Historical graph of downloads

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

Author Profiles

Diogo Dias
State University of Northern Parana - UENP
Alexandre Costa-Leite
Universidade de Brasília

Citations of this work

Add more citations

References found in this work

No references found.

Add more references