Contact

All Stories

  1. A FORMALISATION OF CONSTRUCTIVE EVIDENCE-BASED REASONING: CONSTRUCTING JUSTIFICATIONS

    Article • Bulletin of Symbolic Logic, March 2025, Cambridge University Press

    Professor Walter Carnielli

  2. Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology

    Article • Studia Logica, October 2024, Springer Science + Business Media

    Professor Walter Carnielli

  3. Valuation Semantics for First-Order Logics of Evidence and Truth

    Article • Journal of Philosophical Logic, June 2022, Springer Science + Business Media

    Professor Walter Carnielli

  4. On Barrio, Lo Guercio, and Szmuc on Logics of Evidence and Truth

    Article • Logic and Logical Philosophy, February 2022, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Professor Walter Carnielli

  5. Entrevista com Walter Carnielli

    Article • Conexão Ciência (Online), September 2019, Fundacao Educacional de Formiga - FUOM

    Professor Walter Carnielli

  6. Formalization of mathematics through proof assistants

    Article • Revista dos Trabalhos de Iniciação Científica da UNICAMP, January 2019, Universidade Estadual de Campinas

    Professor Walter Carnielli

  7. Editors’ Introduction

    Article • May 2018, Cambridge University Press

    Professor Walter Carnielli

  8. The Significance of the New Logic

    Article • May 2018, Cambridge University Press

    Professor Walter Carnielli

  9. Contradictions, from Consistency to Inconsistency

    Article • January 2018, Springer Science + Business Media

    Professor Walter Carnielli

  10. Society semantics and the logic way to collective intelligence

    Article • Journal of Applied Non-Classical Logics, October 2017, Taylor & Francis

    Professor Walter Carnielli

  11. Experimenting with Consistency

    Article • January 2017, Springer Science + Business Media

    Professor Walter Carnielli

  12. Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem

    Article • Entropy, September 2016, MDPI AG

    Professor Walter Carnielli

  13. Non-deterministic Semantics in Polynomial Format

    Article • Electronic Notes in Theoretical Computer Science, July 2014, Elsevier

    Professor Walter Carnielli

  14. Model theory for first-order logics of formal inconsistency

    Article • The Review of Symbolic Logic, June 2014, Cambridge University Press

    Professor Walter Carnielli

  15. Book Reviews: Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico

    Article • Logic and Logical Philosophy, June 2013, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Professor Walter Carnielli

  16. Special Issue on Multimodal Logics: A Preface

    Article • Logica Universalis, December 2012, Springer Science + Business Media

    Professor Walter Carnielli

  17. On Discourses Addressed by Infidel Logicians

    Article • June 2012, Springer Science + Business Media

    Professor Walter Carnielli

  18. Paul Bernays and the Eve of Non-standard Models in Logic

    Article • January 2012, Springer Science + Business Media

    Professor Walter Carnielli

  19. The Single-minded Pursuit of Consistency and its Weakness

    Article • Studia Logica, January 2011, Springer Science + Business Media

    Professor Walter Carnielli

  20. POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES

    Article • The Review of Symbolic Logic, September 2010, Cambridge University Press

    Professor Walter Carnielli

  21. Model-Based Reasoning in Science and Technology

    Article • January 2010, Springer Science + Business Media

    Professor Walter Carnielli

  22. On a Theoretical Analysis of Deceiving: How to Resist a Bullshit Attack

    Article • January 2010, Springer Science + Business Media

    Professor Walter Carnielli

  23. Interpolation via translations

    Article • Mathematical Logic Quarterly, September 2009, Wiley

    Professor Walter Carnielli

  24. Meeting Hintikka's Challenge to Paraconsistentism

    Article • Principia an international journal of epistemology, June 2009, Universidade Federal de Santa Catarina (UFSC)

    Professor Walter Carnielli

  25. New Dimensions on Translations Between Logics

    Article • Logica Universalis, April 2009, Springer Science + Business Media

    Professor Walter Carnielli

  26. Modulated logics and flexible reasoning

    Article • Logic and Logical Philosophy, September 2008, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Professor Walter Carnielli

  27. Modalities and Multimodalities

    Article • January 2008, Springer Science + Business Media

    Professor Walter Carnielli

  28. Logics of Formal Inconsistency

    Article • January 2007, Springer Science + Business Media

    Professor Walter Carnielli

  29. Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole

    Article • January 2007, Springer Science + Business Media

    Professor Walter Carnielli

  30. Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge

    Article • Logic and Logical Philosophy, March 2006, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Professor Walter Carnielli

  31. Surviving Abduction

    Article • Logic Journal of IGPL, March 2006, Oxford University Press (OUP)

    Professor Walter Carnielli

  32. Editorial

    Article • Logic Journal of IGPL, November 2005, Oxford University Press (OUP)

    Professor Walter Carnielli

  33. A Paraconsistent Decagon

    Article • Journal of Applied Logic, March 2005, Elsevier

    Professor Walter Carnielli

  34. Anti-intuitionism and paraconsistency

    Article • Journal of Applied Logic, March 2005, Elsevier

    Professor Walter Carnielli

  35. Book Reviews: Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education

    Article • Logic and Logical Philosophy, December 2004, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Professor Walter Carnielli

  36. Formal inconsistency and evolutionary databases

    Article • Logic and Logical Philosophy, January 2004, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Professor Walter Carnielli

  37. Modulated fibring and the collapsing problem

    Article • Journal of Symbolic Logic, December 2002, Cambridge University Press

    Professor Walter Carnielli

  38. Computability. Computable Functions, Logic, and the Foundations of Mathematics

    Article • Bulletin of Symbolic Logic, March 2002, Cambridge University Press

    Professor Walter Carnielli

  39. A Logical Framework for Integrating Inconsistent Information in Multiple Databases

    Article • January 2002, Springer Science + Business Media

    Professor Walter Carnielli

  40. 6th Workshop on Logic, Language, Information and Computation (Wollic '99)

    Article • Bulletin of Symbolic Logic, September 1999, Cambridge University Press

    Professor Walter Carnielli

  41. Limits for Paraconsistent Calculi

    Article • Notre Dame Journal of Formal Logic, July 1999, Duke University Press

    Professor Walter Carnielli

  42. Fuzzy fusion of results of medical image segmentation

    Article • May 1999, SPIE

    Professor Walter Carnielli

  43. Advances in Contemporary Logic and Computer Science

    Article • January 1999

    Professor Walter Carnielli

  44. Finite and infinite-valued logics: inference, algebra and geometry

    Article • Journal of Applied Non-Classical Logics, January 1999, Taylor & Francis

    Professor Walter Carnielli

  45. Society semantics and multiple-valued logics

    Article • January 1999, American Mathematical Society (AMS)

    Professor Walter Carnielli

  46. Maximal weakly-intuitionistic logics

    Article • Studia Logica, January 1995, Springer Science + Business Media

    Professor Walter Carnielli

  47. Some results on polarized partion relations of higher dimension

    Article • Mathematical Logic Quarterly, January 1993, Wiley

    Professor Walter Carnielli

  48. Razão e irracionalidade na representação do conhecimento

    Article • Trans/Form/Ação, December 1991, FapUNIFESP (SciELO)

    Professor Walter Carnielli

  49. Methods and Applications of Mathematical Logic

    Article • January 1988

    Professor Walter Carnielli

  50. Systematization of finite many-valued logics through the method of tableaux

    Article • Journal of Symbolic Logic, June 1987, Cambridge University Press

    Professor Walter Carnielli

  51. The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics

    Article • Mathematical Logic Quarterly, January 1987, Wiley

    Professor Walter Carnielli

  52. On paraconsistent deontic logic

    Article • Philosophia, December 1986, Springer Science + Business Media

    Professor Walter Carnielli

  53. Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985

    Article • Journal of Symbolic Logic, December 1986, Cambridge University Press

    Professor Walter Carnielli

  54. On covering and coloring problems for rook domains

    Article • Discrete Mathematics, November 1985, Elsevier

    Professor Walter Carnielli

  55. Paraconsistent algebras

    Article • Studia Logica, March 1984, Springer Science + Business Media

    Professor Walter Carnielli

  56. Transfinite Induction on Ordinal Configurations

    Article • Mathematical Logic Quarterly, January 1981, Wiley

    Professor Walter Carnielli

  57. Le logica impecabile del irrational

    Article • Revista Eletrônica Informação e Cognição (Cessada), December 1969, Faculdade de Filosofia e Ciências

    Professor Walter Carnielli

  58. Logics For Qualitative Reasoning

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  59. Two’s Company: “The Humbug of Many Logical Values”

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  60. New trends: Network fibring

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  61. Fibring higher-order logics

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  62. Summing-up and outlook

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  63. Splicing logics: Syntactic fibring

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  64. Fibring first-order logics

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  65. Fibring non-truth functional logics

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  66. Heterogeneous fibring

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  67. Splitting logics

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  68. Two's Company: “The Humbug of Many Logical Values”

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  69. Introductory overview

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  70. Splicing logics: Semantic fibring

    Article • Springer Science + Business Media

    Professor Walter Carnielli

  71. Modulated fibring

    Article • Springer Science + Business Media

    Professor Walter Carnielli