A note on paracomplete logic
da Costa, Newton C. A. ; Marconi, Diego
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 80 (1986), p. 504-509 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

In questa nota gli Autori descrivono nuovi sistemi di logica (detta «paracompleta») connessi con la logica della vaghezza («fuzzy logic») e con le logiche paraconsistenti.

Publié le : 1986-12-01
@article{RLINA_1986_8_80_7-12_504_0,
     author = {Newton C. A. da Costa and Diego Marconi},
     title = {A note on paracomplete logic},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {80},
     year = {1986},
     pages = {504-509},
     zbl = {0663.03012},
     mrnumber = {0976943},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLINA_1986_8_80_7-12_504_0}
}

da Costa, Newton C. A.; Marconi, Diego. A note on paracomplete logic. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 80 (1986) pp. 504-509. http://gdmltest.u-ga.fr/item/RLINA_1986_8_80_7-12_504_0/

[1] 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. | MR 556174 | Zbl 0423.03023

[2] 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. | MR 556175 | Zbl 0423.03024

[3] 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. | Zbl 0118.01211

[4] 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. | Zbl 0126.01001

[5] 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. | Zbl 0126.01002

[6] 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. | Zbl 0126.01003

[7] 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. | Zbl 0134.01503

[8] Da Costa, N.C.A. (1974) - On the Theory of Inconsistent Formal Systems, «Notre Dame Journal of Formal Logic», 497-510.. | MR 354361 | Zbl 0236.02022

[9] Da Costa, N.C.A. and Carnielli, W.A. (1986) - On Paraconsistent Deontic Logic, to appear in «Philosophia».

[10] Kleene, S.C. (1971) - Introduction to Metamathematics, Wolters-Noordhoff (Groeningen), North-Holland (Amsterdam), American Elsevier (New York), (1971[7], 1952[1]). | MR 51790 | Zbl 0047.00703

[11] Loparic, A. and Da Costa, N.C.A. (1984) - Paraconsistency y Paracompleteness, and Valuations, «Logique et Analyse», 119-31. | Zbl 0549.03023

[12] Marconi D. (ed.) (1979) - La formalizzazione della dialettica, Torino, Rosenberg and Sellier.

[13] Marconi, D. (1980) - A Decision-Method for the Calculus C 1, «Proceedings of the Third Brazilian Conference on Mathematical Logic», 211-23. | MR 603669 | Zbl 0448.03014

[14] Rasiowa, H. and Sikorski, R. (1970) - The Mathematics of Metamathematics, PWN, Warsaw. | MR 344067 | Zbl 0122.24311

[15] Rolf, B. (1981) - Topics on the Logic of Vagueness, Lund, University of Lund.

[16] Zadeh, L. (1975) - Fuzzy Logic and Approximate Reasoning, «Synthèse», 407-28. | Zbl 0319.02016