A note on paracomplete logic
Newton C. A. da Costa; Diego Marconi
- Volume: 80, Issue: 7-12, page 504-509
- ISSN: 1120-6330
Access Full Article
topAbstract
topHow to cite
topReferences
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