Transfinite Induction on Ordinal Configurations. - Luiz Paulo de Alcantara; Walter Alexandre Carnielli (Math. Log. Q., 1981)

On covering and coloring problems for rook domains. - Walter Alexandre Carnielli (Discret. Math., 1985)

Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. - Walter Alexandre Carnielli (J. Symb. Log., 1986)

Systematization of Finite Many-Valued Logics Through the Method of Tableaux. - Walter Alexandre Carnielli (J. Symb. Log., 1987)

The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics. - Walter Alexandre Carnielli (Math. Log. Q., 1987)

Many-Valued Logics and Plausible Reasoning. - Walter Alexandre Carnielli (ISMVL, 1990)

Contextual Negations and Reasoning with Contradictions. - Walter Alexandre Carnielli; Luis Fariñas del Cerro; Mamede Lima-Marques (IJCAI, 1991)

Reasoning under Inconsistent Knowledge. - Walter Alexandre Carnielli; Mamede Lima-Marques (J. Appl. Non Class. Logics, 1992)

Some Results an Polarized Relations of Higher Dimension. - Carlos A. Di Prisco; Walter Alexandre Carnielli (Math. Log. Q., 1993)

Maximal weakly-intuitionistic logics. - Antonio Mario Sette; Walter Alexandre Carnielli (Stud Logica, 1995)

Ultrafilter Logic and Generic Reasoning. - Walter Alexandre Carnielli; Paulo A. S. Veloso (Kurt Gödel Colloquium, 1997)

XI Brazilian Conference on Mathematical Logic. - Itala M. Loffredo D'Ottaviano; Walter Alexandre Carnielli; Antonio Mario Sette; Michael B. Wrigley (Log. J. IGPL, 1997)

Fuzzy fusion of results of medical image segmentation. - Denise Guliato; Rangaraj M. Rangayyan; Walter Alexandre Carnielli; João Antonio Zuffo; J. E. Leo Desautels (Image Processing, 1999)

Limits for Paraconsistent Calculi. - Walter Alexandre Carnielli; João Marcos 001 (Notre Dame J. Formal Log., 1999)

K2, 2-K1, n and K2, n-K2, n bipartite Ramsey numbers. - Walter Alexandre Carnielli; Emerson L. Monte Carmelo (Discret. Math., 2000)

The Dialogical Approach to Paraconsistency. - Sahid Rahman; Walter Alexandre Carnielli (Synth., 2000)

A Logical Framework for Integrating Inconsistent Information in Multiple Databases. - Sandra de Amo; Walter Alexandre Carnielli; João Marcos 001 (FoIKS, 2002)

Modulated Fibring and The Collapsing Problem. - Cristina Sernadas; João Rasga; Walter Alexandre Carnielli (J. Symb. Log., 2002)

Transfers between Logics and their Applications. - Marcelo E. Coniglio; Walter Alexandre Carnielli (Stud Logica, 2002)

Segmentation of breast tumors in mammograms using fuzzy sets. - Denise Guliato; Rangaraj M. Rangayyan; Walter Alexandre Carnielli; João Antonio Zuffo; J. E. Leo Desautels (J. Electronic Imaging, 2003)

Fuzzy fusion operators to combine results of complementary medical image segmentation techniques. - Denise Guliato; Rangaraj M. Rangayyan; Walter Alexandre Carnielli; João Antonio Zuffo; J. E. Leo Desautels (J. Electronic Imaging, 2003)

Fibring Non-Truth-Functional Logics: Completeness Preservation. - Carlos Caleiro; Walter Alexandre Carnielli; Marcelo E. Coniglio; Amílcar Sernadas; Cristina Sernadas (J. Log. Lang. Inf., 2003)

Editorial. - Walter Alexandre Carnielli; Marcelo E. Coniglio; Itala M. Loffredo D'Ottaviano (Log. J. IGPL, 2004)

Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, 2002, pp 480, ISBN 0-8176-4249-8. - Walter Alexandre Carnielli (Stud Logica, 2004)

Logics For Qualitative Reasoning. - Paulo A. S. Veloso; Walter Alexandre Carnielli (Logic, Epistemology, and the Unity of Science, 2004)

Splitting Logics. - Walter Alexandre Carnielli; Marcelo E. Coniglio (We Will Show Them! (1), 2005)

Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem. - Juan Carlos Agudelo Agudelo; Walter Alexandre Carnielli (IICAI, 2005)

Polynomial Ring Calculus for Many-Valued Logics. - Walter Alexandre Carnielli (ISMVL, 2005)

An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference. - Walter Alexandre Carnielli; Marcelo E. Coniglio; Itala M. Loffredo D'Ottaviano (Log. J. IGPL, 2005)

Editorial. - Walter Alexandre Carnielli; Paulo Mateus (Log. J. IGPL, 2005)

Anti-intuitionism and paraconsistency. - Andreas Bernhard Michael Brunner; Walter Alexandre Carnielli (J. Appl. Log., 2005)

A Paraconsistent Decagon. - João Marcos 001; Diderik Batens; Walter Alexandre Carnielli (J. Appl. Log., 2005)

Surviving Abduction. - Walter Alexandre Carnielli (Log. J. IGPL, 2006)

Unconventional Models of Computation Through Non-standard Logic Circuits. - Juan Carlos Agudelo Agudelo; Walter Alexandre Carnielli (UC, 2007)

Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. - Walter Alexandre Carnielli (Model-Based Reasoning in Science, Technology, and Medicine, 2007)

The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. - Igor Carboni Oliveira; Walter Alexandre Carnielli (Log. J. IGPL, 2008)

Preservation of Interpolation Features by Fibring. - Walter Alexandre Carnielli; João Rasga; Cristina Sernadas (J. Log. Comput., 2008)

Modalities and Multimodalities - With the assistance and collaboration of Juliana Bueno-Soler - Walter Alexandre Carnielli; Claudio E. A. Pizzi (Springer, 2008)

Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" . Logic Journal of the IGPL, 16(6): 585-590(2008). - Igor Carboni Oliveira; Walter Alexandre Carnielli (Log. J. IGPL, 2009)

Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation. - Walter Alexandre Carnielli; Heinrich Wansing (J. Log. Comput., 2009)

New Dimensions on Translations Between Logics. - Walter Alexandre Carnielli; Marcelo E. Coniglio; Itala M. Loffredo D'Ottaviano (Logica Universalis, 2009)

Interpolation via translations. - João Rasga; Walter Alexandre Carnielli; Cristina Sernadas (Math. Log. Q., 2009)

Paraconsistent Machines and their Relation to Quantum Computing. - Juan Carlos Agudelo Agudelo; Walter Alexandre Carnielli (J. Log. Comput., 2010)

Adjusting a conjecture of Erdős. - Walter Alexandre Carnielli; Pietro K. Carolino (Contributions Discret. Math., 2011)

Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities. - Juan Carlos Agudelo Agudelo; Walter Alexandre Carnielli (Rev. Symb. Log., 2011)

The Single-minded Pursuit of Consistency and its Weakness. - Walter Alexandre Carnielli (Stud Logica, 2011)

Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. - Anderson de Araújo; Walter Alexandre Carnielli (Log. J. IGPL, 2012)

Special Issue: Formal Representations in Model-based Reasoning and Abduction. - Lorenzo Magnani; Walter Alexandre Carnielli; Claudio E. A. Pizzi (Log. J. IGPL, 2012)

Semi-stable semantics. - Martin W. A. Caminada; Walter Alexandre Carnielli; Paul E. Dunne (J. Log. Comput., 2012)

Non-deterministic Semantics in Polynomial Format. - Walter Carnielli; Mariana Matulovic (LSFA, 2013)

Special Issue on Multimodal Logics: A Preface. - Walter Alexandre Carnielli; Claudio E. A. Pizzi (Logica Universalis, 2013)

Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 (hardcover) EURO 181, 85, 978-94-007-0005-5 (eBook) EURO 159, 99. - Walter Alexandre Carnielli (Stud Logica, 2013)

On Discourses Addressed by Infidel Logicians. - Walter Alexandre Carnielli; Marcelo E. Coniglio (Paraconsistency: Logic and Applications, 2013)

e-Reasoning: Between Digital Humanities and e-science. - Juliana Bueno-Soler; Walter Carnielli (eScience Workshops, 2014)

The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface. - Walter Alexandre Carnielli; Renata P. de Freitas; Petrucio Viana (Log. J. IGPL, 2014)

On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency. - Walter Alexandre Carnielli; Marcelo E. Coniglio; Rodrigo Podiacki; Tarcísio Rodrigues (Rev. Symb. Log., 2014)

The method of polynomial ring calculus and its potentialities. - Walter Carnielli; Mariana Matulovic (Theor. Comput. Sci., 2015)

Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem. - Juliana Bueno-Soler; Walter Carnielli (Entropy, 2016)

Paraconsistent set theory by predicating on consistency. - Walter Alexandre Carnielli; Marcelo E. Coniglio (J. Log. Comput., 2016)

Foreword. - Walter Carnielli; Edward Hermann Haeusler; Petrucio Viana (Log. J. IGPL, 2017)

Cut-elimination and deductive polarization in complementary classical logic. - Walter Alexandre Carnielli; Gabriele Pulcini (Log. J. IGPL, 2017)

Society semantics and the logic way to collective intelligence. - Walter Carnielli; Mamede Lima-Marques (J. Appl. Non Class. Logics, 2017)

Polynomial ring calculus for modalities. - Juan Carlos Agudelo Agudelo; Walter Carnielli (J. Log. Comput., 2017)

An epistemic approach to paraconsistency: a logic of evidence and truth. - Walter Carnielli; Abilio Rodrigues (Synth., 2019)

Kripke-Style Models for Logics of Evidence and Truth. - Henrique Antunes; Walter Carnielli; Andreas Kapsner; Abilio Rodrigues (Axioms, 2020)

Volume I: Recovery operators in logics of formal inconsistency. - Eduardo Alejandro Barrio; Walter Carnielli (Log. J. IGPL, 2020)

Volume II: New advances in Logics of Formal Inconsistency. - Eduardo Alejandro Barrio; Walter Carnielli (Log. J. IGPL, 2020)

Recovery operators, paraconsistency and duality. - Walter Carnielli; Marcelo E. Coniglio; Abilio Rodrigues (Log. J. IGPL, 2020)

Fraïssé's theorem for logics of formal inconsistency. - Bruno Ramos Mendonça; Walter Alexandre Carnielli (Log. J. IGPL, 2020)

Reduction Techniques for Proving Decidability in Logics and their Meet-Combination. - João Rasga; Cristina Sernadas; Walter Carnielli (Bull. Symb. Log., 2021)

On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. - Walter Carnielli; Abilio Rodrigues (Log. J. IGPL, 2021)

Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic. - Abilio Rodrigues; Juliana Bueno-Soler; Walter Carnielli (Synth., 2021)

Valuation Semantics for First-Order Logics of Evidence and Truth. - Henrique Antunes; Abilio Rodrigues; Walter Carnielli; Marcelo E. Coniglio (J. Philos. Log., 2022)

Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. - Walter Carnielli; Marcelo E. Coniglio; David Fuenmayor (Rev. Symb. Log., 2022)

Where the Truth Lies: A Paraconsistent Approach to Bayesian Epistemology. - Walter Carnielli; Juliana Bueno-Soler (Stud Logica, 2025)