Online preprints of J. Marcos

J. Marcos. Possible-translations semantics for some weak classically-based paraconsistent logics. Journal of Applied Non-Classical Logics, 18(1):7--28, 2008.

W. A. Carnielli, M. E. Coniglio, and J. Marcos. Logics of formal inconsistency. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 14. Kluwer Academic Publishers, 2nd edition, 2007.

P. Gouveia, F. M. Dionísio, and J. Marcos. Teaching and experimenting with deductive systems using a generic proof assistant. In XIII Simposio Latinoamericano de Lógica Matemática, volume 1 of Proceedings of the XIII SLALM, pages 49--50, Oaxaca, México, 2006.

J. Marcos. Generalizing truth-functionality (abstract). Bulletin of Symbolic Logic, 12(3):511--511, 2006.

J. Marcos. Ineffable inconsistencies. In J.-Y. Béziau and W. A. Carnielli, editors, Paraconsistency with no Frontiers, Proceedings of the III World Congress on Paraconsistency, held in Toulouse, FR, July 28-31, 2003, volume 4 of Studies in Logic and Practical Reasoning, pages 301--311. Elsevier Science, Amsterdam, 2006.

C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Two's company: ``The humbug of many logical values". In J.-Y. Béziau, editor, Logica Universalis, pages 169--189. Birkhäuser Verlag, 2005.

F. M. Dionísio, P. Gouveia, and J. Marcos. Defining and using deductive systems with Isabelle. In L. Magnani and R. Dossena, editors, Computing, Philosophy, and Cognition, pages 271--293. King's College Publications, 2005.

J. Marcos. Logics of essence and accident. Bulletin of the Section of Logic, 34(1):43--56, 2005.

J. Marcos. Logics of Formal Inconsistency. PhD thesis, IFCH, Universidade Estadual de Campinas and IST, Universidade Técnica de Lisboa, 2005. Supervised by W. A. Carnielli and C. Caleiro.

J. Marcos. Modality and paraconsistency. In M. Bilkova and L. Behounek, editors, The Logica Yearbook 2004, pages 213--222. Filosofia, 2005.

J. Marcos. Nearly every normal modal logic is paranormal. Logique et Analyse, 48:279--300, 2005.

J. Marcos. On a problem of da Costa. In G. Sica, editor, Essays on the Foundations of Mathematics and Logic, volume 2, pages 39--55. Polimetrica, 2005.

J. Marcos. On negation: Pure local rules. Journal of Applied Logic, 3(1):185--219, 2005.

J. Marcos. Possible-translations semantics. In W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors, Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, pages 119--128, 1049-001 Lisboa, Portugal, 2004. Departamento de Matemática, Instituto Superior Técnico. Extended version of extended abstract.

C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Dyadic semantics for many-valued logics. Research report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2003. Presented at III World Congress on Paraconsistency, Toulouse, France, July 28-31, 2003.

C. Caleiro, W. A. Carnielli, M. E. Coniglio, and J. Marcos. Suszko's Thesis and dyadic semantics. Research report, CLC, Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa, Portugal, 2003. Presented at III World Congress on Paraconsistency, Toulouse, France, July 28-31, 2003.

W. A. Carnielli and J. Marcos. A taxonomy of C-systems. In W. A. Carnielli, M. E. Coniglio, and I. M. L. D'Ottaviano, editors, Paraconsistency: The logical way to the inconsistent, volume 228 of Lecture Notes in Pure and Applied Mathematics, pages 1--94. Marcel Dekker, 2002.

S. de Amo, W. A. Carnielli, and J. Marcos. A logical framework for integrating inconsistent information in multiple databases. In Proceedings of the II International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2002), Schloss Salzau, DE, 19-23 February 2002, volume 2284 of Lecture Notes in Computer Science, pages 67--84. Springer-Verlag, Berlin, 2002.

C. Caleiro and J. Marcos. Non-truth-functional fibred semantics. In H. R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001), volume II, pages 841--847. CSREA Press, Athens GA, USA, 2001.

W. A. Carnielli and J. Marcos. Ex contradictione non sequitur quodlibet. In R. L. Epstein, editor, Proceedings of the II Annual Conference on Reasoning and Logic, held in Bucharest, RO, July 2000, volume 1, pages 89--109. Advanced Reasoning Forum, 2001.

W. A. Carnielli and J. Marcos. Tableaux for logics of formal inconsistency. In H. R. Arabnia, editor, Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001), volume II, pages 848--852. CSREA Press, Athens GA, USA, 2001.

W. A. Carnielli, J. Marcos, and S. de Amo. Formal inconsistency and evolutionary databases. Logic and Logical Philosophy, 8(2):115--152, 2000.

W. A. Carnielli and J. Marcos. Limits for paraconsistent calculi. Notre Dame Journal of Formal Logic, 40(3):375--390, 1999.

J. Marcos. Semânticas de Traduções possíveis. Master's thesis, IFCH, Universidade Estadual de Campinas, 1999. Supervised by W. A. Carnielli.