Geodesic
A note on paracomplete logic
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 80 (1986) no. 7-12, pp. 504-509.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

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. 
@article{RLINA_1986_8_80_7-12_a2,
     author = {da Costa, Newton C. A. and Marconi, Diego},
     title = {A note on paracomplete logic},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {504--509},
     publisher = {mathdoc},
     volume = {Ser. 8, 80},
     number = {7-12},
     year = {1986},
     zbl = {0663.03012},
     mrnumber = {0976943},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_7-12_a2/}
}
TY  - JOUR
AU  - da Costa, Newton C. A.
AU  - Marconi, Diego
TI  - A note on paracomplete logic
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1986
SP  - 504
EP  - 509
VL  - 80
IS  - 7-12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_7-12_a2/
LA  - en
ID  - RLINA_1986_8_80_7-12_a2
ER  - 
%0 Journal Article
%A da Costa, Newton C. A.
%A Marconi, Diego
%T A note on paracomplete logic
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1986
%P 504-509
%V 80
%N 7-12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_7-12_a2/
%G en
%F RLINA_1986_8_80_7-12_a2
da Costa, Newton C. A.; Marconi, Diego. A note on paracomplete logic. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 80 (1986) no. 7-12, pp. 504-509. http://geodesic.mathdoc.fr/item/RLINA_1986_8_80_7-12_a2/

[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 | Zbl

[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 | Zbl

[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

[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

[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

[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

[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

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

[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 | Zbl

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

[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 | Zbl

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

[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