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.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.