A note on paracomplete logic
Newton C. A. da Costa; Diego Marconi
- Volume: 80, Issue: 7-12, page 504-509
- ISSN: 0392-7881
Access Full Article
topAbstract
topHow to cite
topda Costa, Newton C. A., and Marconi, Diego. "A note on paracomplete logic." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti 80.7-12 (1986): 504-509. <http://eudml.org/doc/289043>.
@article{daCosta1986,
author = {da Costa, Newton C. A., Marconi, Diego},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
language = {eng},
month = {12},
number = {7-12},
pages = {504-509},
publisher = {Accademia Nazionale dei Lincei},
title = {A note on paracomplete logic},
url = {http://eudml.org/doc/289043},
volume = {80},
year = {1986},
}
TY - JOUR
AU - da Costa, Newton C. A.
AU - Marconi, Diego
TI - A note on paracomplete logic
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1986/12//
PB - Accademia Nazionale dei Lincei
VL - 80
IS - 7-12
SP - 504
EP - 509
LA - eng
UR - http://eudml.org/doc/289043
ER -
References
top- ARRUDA, A.I. and ALVES, E.H. (1979) - Some Remarks on the Logic of Vagueness, «Bulletin of the Section of Logic, Polish Academy of Sciences», 133-8. Zbl0423.03023MR556174
- ARRUDA, A.I. and ALVES, E.H. (1979) - A Semantical Study of Some Systems of Vagueness Logic, «Bulletin of the Section of Logic, Polish Academy of Sciences», 139-44. Zbl0423.03024MR556175
- DA COSTA, N.C.A. (1963) - Calculs propositionnels pour les systèmes formels inconsistants, «Comptes Rendus de l'Académie des Sciences de Paris», 3790-2. Zbl0118.01211
- DA COSTA, N.C.A. (1964) - Calculs des prédicats pour les systèmes formels inconsistants, «Comptes Rendus de l'Académie des Sciences de Paris», 27-9. Zbl0126.01001
- DA COSTA, N.C.A. (1964) - Calculs des prédicats avec égalité pour les systèmes formels inconsistants, «Comptes Rendus de l'Académie des Sciences de Paris», 1111-3. Zbl0126.01002
- DA COSTA, N.C.A. (1964) - Calculs des descriptions pour les systèmes formels inconsistants, «Comptes Rendus de l'Académie des Sciences de Paris», 1366-8. Zbl0126.01003
- DA COSTA, N.C.A. (1964) - Sur un système inconsistant de théorie des ensembles, «Comptes Rendus de l'Académie des Sciences de Paris», 3144-7. Zbl0134.01503
- DA COSTA, N.C.A. (1974) - On the Theory of Inconsistent Formal Systems, «Notre Dame Journal of Formal Logic», 497-510.. Zbl0236.02022MR354361
- DA COSTA, N.C.A. and CARNIELLI, W.A. (1986) - On Paraconsistent Deontic Logic, to appear in «Philosophia».
- KLEENE, S.C. (1971) - Introduction to Metamathematics, Wolters-Noordhoff (Groeningen), North-Holland (Amsterdam), American Elsevier (New York), (1971[7], 1952[1]). Zbl0047.00703MR51790
- LOPARIC, A. and DA COSTA, N.C.A. (1984) - Paraconsistency y Paracompleteness, and Valuations, «Logique et Analyse», 119-31. Zbl0549.03023
- MARCONI D. (ed.) (1979) - La formalizzazione della dialettica, Torino, Rosenberg and Sellier.
- MARCONI, D. (1980) - A Decision-Method for the Calculus C 1, «Proceedings of the Third Brazilian Conference on Mathematical Logic», 211-23. Zbl0448.03014MR603669
- RASIOWA, H. and SIKORSKI, R. (1970) - The Mathematics of Metamathematics, PWN, Warsaw. Zbl0122.24311MR344067
- ROLF, B. (1981) - Topics on the Logic of Vagueness, Lund, University of Lund.
- ZADEH, L. (1975) - Fuzzy Logic and Approximate Reasoning, «Synthèse», 407-28. Zbl0319.02016
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.