Possible-translations semantics for some weak classically-based paraconsistent logics

References

• Arruda , A. I. 1975 . Remarques sur les systèmes Cn . Comptes Rendus de l'Académie de Sciences de Paris (A-B) , 280 : 1253 – 1256 .
   PubMedGoogle Scholar
• Avron , A. 2005 . “ Non-deterministic matrices and modular semantics of rules ” . In Logica Universalis , Edited by: Béziau , J.-Y. 149 – 167 . Basel , , Switzerland : Birkhäuser Verlag .
   Google Scholar
• Avron , A. 2007a . “ Non-deterministic semantics for families of paraconsistent logics ” . In Handbook of Paraconsistency, vol. 9 of Studies in Logic , Edited by: Béziau , J.-Y. , Carnielli , W. and Gabbay , D. 285 – 320 . College Publications .
   Google Scholar
• Avron , A. 2007b . Non-deterministic semantics for logics with a consistency operator . International Journal of Approximate Reasoning , 45 : 271 – 287 .
   Web of Science ®Google Scholar
• Avron , A. and Konikowska , B. 2005a . Multi-valued calculi for logics based on non-determinism . Logic Journal of IGPL , 13 : 365 – 387 .
   Web of Science ®Google Scholar
• Avron , A. and Lev , I. 2005b . Non-deterministic multiple-valued structures . Journal of Logic and Computation , 15 : 241 – 261 .
   Web of Science ®Google Scholar
• Batens , D. 1980 . Paraconsistent extensional propositional logics . Logique et Analyse (N.S.) , 90 ( 91 ) : 195 – 234 .
   Google Scholar
• Batens , D. 2000 . “ A Survey of Inconsistency-Adaptive Logics ” . In Frontiers of Paraconsistent Logic , Edited by: Batens , D. , C.Mortensen , Priest , G. and Van Bendegem , J. P. 49 – 73 . Baldock : Research Studies Press .
   Google Scholar
• Béziau , J.-Y. 2001 . Sequents and bivaluations . Logique et Analyse (N.S.) , 44 ( 176 ) : 373 – 394 .
   Google Scholar
• Caleiro , C. , Carnielli , W. , Coniglio , M. E. and Marcos , J. 2005 . “ Two's company: “The humbug of many logical values ” . In Logica Universalis , Edited by: Béziau , J.-Y. 169 – 189 . Basel , , Switzerland : Birkhäuser Verlag . http://wslc.math.ist.utl.pt/ftp/pub/CaleiroC/05-CCCM-dyadic.pdf
   Google Scholar
• Carnielli , W. Many-valued logics and plausible reasoning . Proceedings of the XX International Congress on Many-Valued Logics, held at the University of Charlotte . 1990 , NC , US. pp. 328 – 335 . IEEE Computer Society .
   Google Scholar
• Carnielli , W. A. 2000 . “ Possible-translations semantics for paraconsistent logics ” . In Frontiers of Paraconsistent Logic , Edited by: Batens , D. , Mortensen , C. , Priest , G. and Van Bendegem , J. P. 149 – 163 . Baldock : Research Studies Press .
   Google Scholar
• Carnielli , W. A. , Coniglio , M. E. and Marcos , J. 2007 . “ Logics of Formal Inconsistency ” . In Handbook of Philosophical Logic , 2nd edn , Edited by: Gabbay , D. and Guenthner , F. vol. 14 , 1 – 93 . Kluwer . http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/03-CCM-lfi.pdf.
   Google Scholar
• Carnielli , W. A. and D'Ottaviano , I. M. L. 1997 . Translations between logical systems: A manifesto . Logique et Analyse (N.S.) , 40 ( 157 ) : 67 – 81 .
   Google Scholar
• Carnielli , W. A. and Marcos , J. 1999 . Limits for paraconsistent calculi . Notre Dame Journal of Formal Logic , 40 ( 3 ) : 375 – 390 . http://projecteuclid.org/euclid.ndjfl/1022615617
   Google Scholar
• Carnielli , W. A. and Marcos , J. Ex contradictione non sequitur quodlibet . Proceedings of the II Annual Conference on Reasoning and Logic . July 2000 , Bucharest , RO. Edited by: Epste , R. L. vol. 1 , pp. 89 – 109 . Advanced Reasoning Forum . http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/01-CM-ECNSQL.pdf
   Google Scholar
• Carnielli , W. A. and Marcos , J. Tableaux for logics of formal inconsistency . Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) . Athens , GA . Edited by: Arabnia , H. R. vol. II , pp. 848 – 852 . CSREA Press . http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/01-CM-tableaux.pdf
   Google Scholar
• Carnielli , W. A. and Marcos , J. 2002 . “ A taxonomy of C-systems ” . In Paraconsistency: The Logical Way to the Inconsistent, vol. 228 of Lecture Notes in Pure and AppliedMathematics , Edited by: Carnielli , W. A. , Coniglio , M. E. and D'Ottaviano , I. M. L. 1 – 94 . Marcel Dekker . http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/02-CM-taxonomy.pdf
   Google Scholar
• Carnielli , W. A. , Marcos , J. and de Amo , S. 2000 . Formal inconsistency and evolutionary databases . Logic and Logical Philosophy , 8 ( 2 ) : 115 – 152 . http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/00-CdAM-evolutionary.pdf
   Google Scholar
• Carnielli , W. , Coniglio , M. E. , Gabbay , D. , Gouveia , P. and Sernadas , C. 2008 . Analysis and Synthesis of Logics: How to cut and paste reasoning systems, vol. 35 of Applied Logic , Springer .
   Google Scholar
• Marcos , J. 1999 . Possible-Translations Semantics (in Portuguese) , BR : State University of Campinas . Master's thesis http://libdigi.unicamp.br/document/?code=vtls000224326
   Google Scholar
• Marcos , J. Possible-translations semantics . Proceedings of the Workshop on Combination of Logics: Theory and applications (CombLog'04) . July 28–30 2004 , Lisbon, PT . Edited by: Carnielli , W. A. , Dionísio , F. M. and Mateus , P. pp. 119 – 128 . Dep. de Matemática, Instituto Superior Técnico . http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-pts.pdf
   Google Scholar
• Marcos , J. 2005a . “ Modality and paraconsistency ” . In The Logica Yearbook 2004 , Edited by: Bilkova , M. and Behounek , L. 213 – 222 . Prague : Filosofia . Proceedings of the XVIII International Symposium promoted by the Institute of Philosophy of the Academy of Sciences of the Czech Republic http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-ModPar.pdf
   Google Scholar
• Marcos , J. 2005b . Nearly every normal modal logic is paranormal . Logique et Analyse (N.S.) , 48 : 279 – 300 . http://wslc.math.ist.utl.pt/ftp/pub/MarcosJ/04-M-Paranormal.pdf
   Google Scholar