da Costa, Marconi: A note on paracomplete logic

da 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 Serie 8 80 (1986), fasc. n.7-12, p. 504-509, (English)
pdf (658 Kb), djvu (612 Kb). | MR 0976943 | Zbl 0663.03012

Sunto

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.

Referenze Bibliografiche

[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.. | fulltext mini-dml | 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

bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Referenza completa

Sunto

Referenze Bibliografiche