A note on paracomplete logic

Newton C. A. da Costa; Diego Marconi

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni (1986)

  • Volume: 80, Issue: 7-12, page 504-509
  • ISSN: 1120-6330

How to cite

top

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 Lincei. Matematica e Applicazioni 80.7-12 (1986): 504-509. <http://eudml.org/doc/287306>.

@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 Lincei. Matematica e Applicazioni},
keywords = {paracomplete logics; fuzzy logics; paraconsistent logics},
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/287306},
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 Lincei. Matematica e Applicazioni
DA - 1986/12//
PB - Accademia Nazionale dei Lincei
VL - 80
IS - 7-12
SP - 504
EP - 509
LA - eng
KW - paracomplete logics; fuzzy logics; paraconsistent logics
UR - http://eudml.org/doc/287306
ER -

References

top
  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. Zbl0423.03023MR556174
  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. Zbl0423.03024MR556175
  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. Zbl0118.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. Zbl0126.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. Zbl0126.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. Zbl0126.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. Zbl0134.01503
  8. DA COSTA, N.C.A. (1974) - On the Theory of Inconsistent Formal Systems, «Notre Dame Journal of Formal Logic», 497-510.. Zbl0236.02022MR354361
  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]). Zbl0047.00703MR51790
  11. LOPARIC, A. and DA COSTA, N.C.A. (1984) - Paraconsistency y Paracompleteness, and Valuations, «Logique et Analyse», 119-31. Zbl0549.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. Zbl0448.03014MR603669
  14. RASIOWA, H. and SIKORSKI, R. (1970) - The Mathematics of Metamathematics, PWN, Warsaw. Zbl0122.24311MR344067
  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. Zbl0319.02016

NotesEmbed ?

top

You must be logged in to post comments.