Marcelo Esteban Coniglio
Publications

Home     Resumé    Research areas      Teaching     Links

COPYRIGHT NOTICE (as suggested by the Association for Computing Machinery - ACM)
The documents contained in this directory are included by contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and conditions invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
  

(1) R.R. Testa; M.E. Coniglio; M.M. Ribeiro. AGM-Like Paraconsistent Belief Change. Logic Journal of the IGPL, to appear.
(2)
M.E. Coniglio; L. Fariñas del Cerro; N. M. Peron. Errata and addenda to 'Finite non-deterministic semantics for some modal systems'.Journal of Applied Non-Classical Logic 26, n. 4: 336-345, 2016. DOI: 10.1080/11663081.2017.1300436.
(3)
M.E. Coniglio; F. Esteva; L. Godo. On the set of intermediate logics between the truth and degree preserving Lukasiewicz logics. Logic Journal of the IGPL 24, n. 3: 288-320, 2016. First published online: March 22, 2016. DOI: 10.1093/jigpal/jzw006.
(4) 
W.A. Carnielli; M.E. Coniglio. Paraconsistent set theory by predicating on consistency. Journal of Logic and Computation 26, n. 1: 97-116, 2016. First published online: July 9, 2013. DOI: 10.1093/logcom/ext020.
(5) M.E. Coniglio; L. Fariñas del Cerro; N. M. Peron. Finite non-deterministic semantics for some modal systems. Journal of Applied Non-Classical Logic 25, n. 1: 20-45, 2015. DOI: 10.1080/11663081.2015.1011543.
(6) M.E. Coniglio; F. Esteva; L. Godo. Logics of formal inconsistency arising from systems of fuzzy logic. Logic Journal of the IGPL 22, n. 6: 880-904, 2014. DOI: 10.1093/jigpal/jzu016.
(7)
M.E. Coniglio; N.M. Peron. Dugundji's Theorem Revisited. Logica Universalis 8, n. 3: 407-422, 2014. DOI: 10.1007/s11787-014-0106-4.
(8)
W. Carnielli; M.E. Coniglio; R. Podiacki; T. Rodrígues. On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency. Review of Symbolic Logic 7, n. 3: 548-578, 2014. DOI: 10.1017/S1755020314000148.
(9) M.E. Coniglio; M. Figallo. On a four-valued modal logic with deductive implication. Bulletin of the Section of Logic 43, n. 1/2: 1-18, 2014.
(10) M.E. Coniglio; M. Figallo. Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Studia Logica 102, n. 3: 525-539, 2014. DOI: 10.1007/s11225-013-9489-0.
(11) M.E. Coniglio; L.H. da Cruz Silvestrini. An alternative approach for Quasi-Truth. Logic Journal of the IGPL 22, n. 2: 387-410, 2014. DOI: 10.1093/ljigpal/jzt026.
(12) M.E. Coniglio; N.M. Peron. Modal Extensions of Sub-classical Logics for Recovering Classical Logic. Logica Universalis 7, n. 1: 71-86, 2013. DOI: 10.1007/s11787-012-0076-3.
(13) M.E. Coniglio; M.I. Corbalán. Teorema de Ajuste de Derivabilidade e Normalização em Dedução Natural (Derivability Adjustment Theorem and Normalization in Natural Deduction, in Portuguese). Revista Brasileira de Filosofia 239: 171-186, 2012.

(14J.-Y. Beziau; M.E. Coniglio. To Distribute or not to Distribute? Logic Journal of the IGPL 19, n. 4: 566-583, 2011. DOI: 10.1093/jigpal/jzp084.
(15) M.E. Coniglio; A. Sernadas; C. Sernadas. Preservation by fibring of the finite model property. Journal of Logic and Computation 21, n. 2: 375-402, 2011. DOI: 10.1093/logcom/exq022.
(16) 
M.E. Coniglio; N.M. Peron. A Paraconsistentist Approach to Chisholm's Paradox. Principia 13, n. 3: 299-326, 2009.
(17)  M.E. Coniglio. Logics of Deontic Inconsistency. Revista Brasileira de Filosofia  233: 162-186, 2009.
(18) A. Sernadas; C. Sernadas; J. Rasga; M.E. Coniglio. On graph-theoretic fibring of logics. Journal of Logic and Computation 19, n. 6: 1321-1357, 2009. DOI: 10.1093/logcom/exp024.
(19)  A. Sernadas; C. Sernadas; J. Rasga; M.E. Coniglio. A graph-theoretic account of logics. Journal of Logic and Computation 19, n. 6: 1281-1320, 2009. DOI: 10.1093/logcom/exp023.
(20)  W.A. Carnielli; M.E. Coniglio; I.M.L. D'Ottaviano. New dimensions on translations between logics. Logica Universalis 3, n. 1: 1-18, 2009. DOI: 10.1007/s11787-009-0002-5.
(21)  M.E. Coniglio; R.R. Testa. Dilemas deônticos e escolha: considerações pragmáticas (Deontic dilemmas and choice: pragmatical considerations, in Portuguese). Revista Brasileira de Filosofia  232: 231-246, 2009.
(22)  W.A. Carnielli; M.E. Coniglio. Aristóteles, Paraconsistentismo e a Tradição Budista (Aristotle, Paraconsistentism and the Buddhist Tradition, in Portuguese). O que nos faz pensar  23:163-175, June 2008.
(23)  V.L. Fernández; M.E. Coniglio. Fibring in the Leibniz HierarchyLogic Journal of the IGPL 15, n. 5-6: 475-501, 2007. DOI: 10.1093/jigpal/jzm036.
(24)  M.E. Coniglio. Recovering a logic from its fragments by meta-fibring. Logica Universalis 1, n. 2: 377-416, 2007. DOI: 10.1007/s11787-007-0019-6.
(25) L.A. Sbardellini; M.E. Coniglio. Some Results on Ordered Structures in Toposes. Reports on Mathematical Logic 40: 181-198, 2006.
(26)  M.E. Coniglio. Towards a stronger notion of translation between logics. Manuscrito 28, n. 2: 231-262, 2005.
(27)  M.E. Coniglio; A. Sernadas; C. Sernadas. Fibring Logics with Topos Semantics. Journal of Logic and Computation 13, n. 4: 595-624, 2003. DOI: 10.1093/logcom/13.4.595.
(28)  V.L. Fernández; M.E. Coniglio. Combining Valuations with Society Semantics. Journal of Applied Non-Classical Logics 13, n. 1: 21-46, 2003. DOI: 10.3166/jancl.13.21-46.
(29)  C. Caleiro; W. Carnielli; M.E. Coniglio; A. Sernadas; C. Sernadas. Fibring Non-Truth-Functional Logics: Completeness Preservation. Journal of Logic, Language and Information 12, n. 2: 183-211, 2003. DOI: 10.1023/A:1022301711366.
(30)  M.E. Coniglio; W.A. Carnielli. Transfers between Logics and their Applications. Studia Logica 72, n. 3: 367-400, 2002.DOI: 10.1023/A:1021845424153.
(31)  M.E. Coniglio; F. Miraglia. Modules in the Category of Sheaves over Quantales. Annals of Pure and Applied Logic 108, n. 1-3: 103-136, 2001.DOI: 10.1016/S0168-0072(00)00042-7.
(32)  M.E. Coniglio; F. Miraglia. Non-Commutative Topology and Quantales. Studia Logica 65, n. 2: 223-236, 2000. DOI: 10.1023/A:1005267714448.
(33)  W.A. Carnielli; M.E. Coniglio. A Categorial Approach to the Combination of Logics. Manuscrito 22, n. 2: 69-94, 1999.
(34) M.E. Coniglio; F. Miraglia. Equality in Linear Logic. Logique et Analyse 153-154: 113-151, 1996.



(1) M.E. Coniglio; M.I. Corbalán. Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics. In: Proceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012),  Eds.: D. Kesner and P. Viana. Electronic Proceedings in Theoretical Computer Science 113: 125-136, 2013.
(2) M.E. Coniglio; V.L. Fernández. Plain fibring and direct union of logics with matrix semantics. In: Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005),  Ed.: B. Prasad, pp. 1590-1608. Pune, India, 2005.
(3) J.-Y. Béziau; M.E. Coniglio. Combining Conjunction with Disjunction. In: Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005),  Ed.: B. Prasad, pp. 1648-1658. Pune, India, 2005.
(4)  J. Bueno; M.E. Coniglio; W.A. Carnielli. Finite algebraizability via possible-translations semantics. In: Proceedings of CombLog'04 - Workshop on Combination of Logics: Theory and Applications, Eds.: W. A. Carnielli, F. M. Dionísio and P. Mateus, pp. 79-86, 2004.
(5 V.L. Fernández; M.E. Coniglio. Fibring algebraizable consequence systems. In: Proceedings of CombLog'04 - Workshop on Combination of Logics: Theory and Applications, Eds.: W. A. Carnielli, F. M. Dionísio and P. Mateus, pp.93-98, 2004.
(6) M.E. Coniglio; V.L. Fernández; M. Fidel. Relevant Information and Relevant Logic. In: Proceedings of the 6th "Dr. Antonio A. R. Monteiro" Congress of Mathematics,  pp. 119-127. Bahia Blanca, Argentina, 2001.
(7) M.E. Coniglio. Categorical Logic with Partial Elements. In: Advances in Contemporary Logic and Computer Science. Proceedings of the XI Brazilian Conference on Mathematical Logic, Eds.: W.A. Carnielli, I.M.L. D'Ottaviano. Contemporary Mathematics 235: 63-82, 1999.
(8) M.E. Coniglio; O. González. Matching of Fuzzy Objects (Matching de Objetos Difusos; in Spanish). Proceedings of the XIX CLEI'93 - XXII JAIIO (Argentinian Symposium of  Informatic and Operational Research), SADIO, pp. 7.1-7.19, 1993.
(9) M.E. Coniglio. Query Procedures in Knowledge Bases by Means of Completions (Obtención   de   Respuestas   en   Bases  de  Conocimiento a partir de  Completaciones; in Spanish). Proceedings of XXI JAIIO  (Argentinian Symposium of  Informatic and Operational Research), SADIO, pp. 1.41-1.63, 1992.


 

(1) W.A. Carnielli; M.E. Coniglio. Paraconsistent Logic: Consistency, Contradiction and Negation. Volume 40 in the Logic, Epistemology, and the Unity of Science Series, Springer, 2016.
ISBN: 978-3-319-33203-1
(2) W.A. Carnielli; M.E. Coniglio; D. Gabbay; P. Gouveia; C. Sernadas. Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems. Volume 35 in the Applied Logic Series, Springer, 2008.
ISBN: 978-1-4020-6781-5

 

(1)  M. Carvalho, C. Braida, J.C. Salles and M.E. Coniglio (Eds.).  Filosofia da Linguagem e da Lógica (Philosophy of Language and Philosophy of Logic, in Portuguese). Coleção XVI Encontro ANPOF Series. ANPOF, São Paulo, 2015.
ISBN: 978-85-88072-41-1
(2)  J.-Y. Beziau; M.E. Coniglio (Eds.).  Logic without Frontiers. Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday. Volume 17 of Tributes Series. College Publications, London, 2011.
ISBN: 978-2-84890-055-4
(3) W.A. Carnielli; M.E. Coniglio; I.M.L. D'Ottaviano (Eds.). The Many Sides of Logic. Selected papers from the CLE 30/XV EBL/XIV SLALM Conference. Volume 21 of Studies in Logic Series. College Publications, London, 2009.
ISBN: 978-1-904987-78-9
(4) W.A. Carnielli; M.E. Coniglio; I.M.L. D'Ottaviano (Eds.). An Event on Brazilian Logic (Part II). Proceedings of the XIII Brazilian Logic Conference (XIII EBL). Logic Journal of the IGPL, Volume13, Number 1. Oxford University Press, 2005.
(5) W.A. Carnielli; M.E. Coniglio; I.M.L. D'Ottaviano (Eds.). An Event on Brazilian Logic (Part I). Proceedings of the XIII Brazilian Logic Conference (XIII EBL). Logic Journal of the IGPL, Volume 12, Number 6. Oxford University Press, 2004.
(6) W.A. Carnielli; M.E. Coniglio; I.M.L. D'Ottaviano (Eds.). Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP'2000). Marcel Dekker Inc., New York, 2002.
ISBN: 0824708059.



(1) W.A. Carnielli; M.E. Coniglio; A. Rodrigues. Contradictions in reasoning: an evil or a blessing?.In: Crossing Oceans: Exchange of Products, Instruments and Procedures in the History of Chemistry and Related Sciences - Selected Papers. Coleção CLE, vol. 75, pp. 135-152. Eds: A.M. Alfonso-Goldfarb; W.A. Carnielli; H. Chang; M.H.M. Ferraz; J.L. Goldfarb; S. Waisse. CLE-UNICAMP, Campinas, 2015.
(2) A.C. Golzio; M. E. Coniglio. Non-deterministic algebras and algebraization of logics. In: Filosofia da Linguagem e da Lógica, pp. 327-346. Eds.: M. Carvalho, C. Braida, J.C. Salles and M.E. Coniglio. Coleção XVI Encontro ANPOF Series. ANPOF, São Paulo, 2015.
(3) M.E. Coniglio; L.A. Sbardellini. On the ordered Dedekind real numbers in toposes. In: Why is this a Proof? Festschrift for Luiz Carlos Pereira, pp. 87-105. Eds.: E.H. Haeusler, W. Sanz and B. Lopes. Volume 27 of Tributes Series. College Publications, London, 2015.
(4) M.E. Coniglio; M. Figallo. A Formal Framework for Hypersequent Calculi and their Fibring. In: The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau, Volume I, pp. 73-93. Eds.: A. Koslow and A. Buchsbaum. Volume 8 of Studies in Universal Logic Series, Springer International Publishing Switzerland, Basel, 2015. DOI: 10.1007/978-3-319-10193-4_4.
(5) M.E. Coniglio; T.G. Rodrígues. Some investigations on mbC and mCi. In: Tópicos de lógicas não clássicas, pp. 11-70. Ed.: C.A. Mortari. Volume 1 of Nel-Lógica Series, NEL/UFSC, Florianópolis, 2014.
(6) W.A. Carnielli; M.E. Coniglio. On discourses addressed by infidel logicians. In: Paraconsistency: Logic and Applications, pp. 27-41. Eds.: K. Tanaka; F. Berto; E. Mares; F. Paoli. Volume 26 of Logic, Epistemology, and the Unity of Science Series, Springer, 2013. DOI: 10.1007/978-94-007-4438-7_3.
(7) M.M. Ribeiro; M.E. Coniglio. Contracting Logics. In: Logic, Language, Information and Computation, pp. 268-281. Eds.: L. Ong; R. de Queiroz. Volume 7456 of Lecture Notes in Computer Science Series, Springer, 2012. DOI: 10.1007/978-3-642-32621-9_20.
(8) W.A. Carnielli; M.E. Coniglio. Bridge principles and combined reasoning. In: Logik, Begriffe, Prinzipien des Handelns (Logic, Concepts, Principles of Action), pp. 32-48. Eds.: T. Müller and A. Newen. Mentis Verlag, Paderborn, 2007.
(9) J. Bueno-Soler; M.E. Coniglio; W.A. Carnielli. Possible-translations algebraizability. In: Handbook of Paraconsistency. Studies in Logic (Logic & Cognitive Systems), vol. 9, pp. 321-340. Eds.: J.-Y. Beziau, W. Carnielli and D.M. Gabbay. College Publications, 2007.
(10) W.A. Carnielli; M.E. Coniglio. Combining Logics. In: The Stanford Encyclopedia of Philosophy, 2007. Ed.: E.N. Zalta. URL: http://plato.stanford.edu/entries/logic-combining/
(11) W.A. Carnielli; M.E. Coniglio; J. Marcos. Logics of Formal Inconsistency. In: Handbook of Philosophical Logic, vol. 14, pp.1-93. Eds.: D. Gabbay; F. Guenthner. Springer, 2007.
(12) W.A. Carnielli; M.E. Coniglio. Splitting Logics. In: We Will Show Them! Essays in Honour of Dov Gabbay, vol. 1, pp. 389-414. Eds.: S. Artemov; H. Barringer; A. Garcez; L. Lamb; J. Woods.College Publications, 2005.
(13) C. Caleiro; W. Carnielli; M.E. Coniglio; J. Marcos. Two's company: "The humbug of many-logical values". In: Logica Universalis, pp. 169-189. Ed.: J.-Y. Beziau. Birkhauser Verlag, 2005. DOI: 10.1007/978-3-7643-8354-1_10.
(14) M.E Coniglio; C. Sernadas. A Hilbert-style axiomatization of higher-order intuitionistic logic. In: Lógica: Teoria, Aplicações e Reflexões. Coleção CLE, vol. 39, pp. 25-58. Eds: H. Feitosa and F. Sautter. CLE-UNICAMP, Campinas, 2004.
(15) D.M. Cunha; M.E Coniglio; W.A. Carnielli. An incoherence in the AGM theory?  In: Lógica: Teoria, Aplicações e Reflexões. Coleção CLE, vol. 39, pp. 107-117. Eds: H. Feitosa and F. Sautter. CLE-UNICAMP, Campinas, 2004.
(16) M.E. Coniglio. A Logic for Sheaves Over (Right-Sided and Idempotent) Quantales. In: Proofs, Types and Categories, pp.185-212. Eds.: E.H. Hauesler and L.C. Pereira. Pontifícia Universidade Católica do Rio de Janeiro, 1999.

(1) M.E. Coniglio; A. Figallo-Orellano; A.C. Golzio. Towards an hyperalgebraic theory of non-algebraizable logics. CLE e-Prints, vol. 16, n. 4, 2016.
(2) R.R. Testa; M.E. Coniglio; M.M. Ribeiro.
Paraconsistent Belief Revision based on a formal consistency operator. CLE e-Prints, vol. 15, n. 8, 2015.
(3) W.A. Carnielli; M.E. Coniglio.
Swap Structures for LFIs. CLE e-Prints, vol. 14, n. 1, 2014.
(4) N.M. Peron; M.E. Coniglio. Logics of deontic inconsistency and paradoxes. CLE e-Prints, vol. 8
, n. 6, 2008.
(5) T.S. Reis; M.E. Coniglio. Covering logics via possible-translations. CLE e-Prints, vol. 8, n. 6, 2008.
(6) R.R. Testa; M.E. Coniglio. Solving normative conflicts using preference relations. CLE e-Prints, vol. 8, n. 6, 2008.
(7) M.E. Coniglio. Logics of deontic inconsistency. CLE e-Prints, vol. 7, n. 4, 2007.

 


Home