Walter Alexandre Carnielli

According to our database, Walter Alexandre Carnielli authored at least 74 papers between 1981 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account.

Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor

Rev. Symb. Log., 2022

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

Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio

J. Philos. Log., 2022

2021

Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic.

Abilio Rodrigues, Juliana Bueno-Soler, Walter Carnielli

Synth., 2021

On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.

Walter Carnielli, Abilio Rodrigues

Log. J. IGPL, 2021

Reduction Techniques for Proving Decidability in Logics and their Meet-Combination.

João Rasga, Cristina Sernadas, Walter Carnielli

Bull. Symb. Log., 2021

2020

Fraïssé's theorem for logics of formal inconsistency.

Bruno Ramos Mendonça, Walter Alexandre Carnielli

Log. J. IGPL, 2020

Recovery operators, paraconsistency and duality.

Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues

Log. J. IGPL, 2020

Volume II: New advances in Logics of Formal Inconsistency.

Eduardo Alejandro Barrio, Walter Carnielli

Log. J. IGPL, 2020

Volume I: Recovery operators in logics of formal inconsistency.

Eduardo Alejandro Barrio, Walter Carnielli

Log. J. IGPL, 2020

Kripke-Style Models for Logics of Evidence and Truth.

Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues

Axioms, 2020

2019

An epistemic approach to paraconsistency: a logic of evidence and truth.

Walter Carnielli, Abilio Rodrigues

Synth., 2019

2017

Polynomial ring calculus for modalities.

Juan Carlos Agudelo Agudelo, Walter Carnielli

J. Log. Comput., 2017

Society semantics and the logic way to collective intelligence.

Walter Carnielli, Mamede Lima-Marques

J. Appl. Non Class. Logics, 2017

Cut-elimination and deductive polarization in complementary classical logic.

Walter Alexandre Carnielli, Gabriele Pulcini

Log. J. IGPL, 2017

Foreword.

Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana

Log. J. IGPL, 2017

2016

Paraconsistent set theory by predicating on consistency.

Walter Alexandre Carnielli, Marcelo E. Coniglio

J. Log. Comput., 2016

Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem.

Juliana Bueno-Soler, Walter Carnielli

Entropy, 2016

2015

The method of polynomial ring calculus and its potentialities.

Walter Carnielli, Mariana Matulovic

Theor. Comput. Sci., 2015

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 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

e-Reasoning: Between Digital Humanities and e-science.

Juliana Bueno-Soler, Walter Carnielli

Proceedings of the 10th IEEE International Conference on e-Science, 2014

2013

On Discourses Addressed by Infidel Logicians.

Walter Alexandre Carnielli, Marcelo E. Coniglio

Proceedings of the Paraconsistency: Logic and Applications, 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

Special Issue on Multimodal Logics: A Preface.

Walter Alexandre Carnielli, Claudio E. A. Pizzi

Logica Universalis, 2013

Non-deterministic Semantics in Polynomial Format.

Walter Carnielli, Mariana Matulovic

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2012

Semi-stable semantics.

Martin W. A. Caminada, Walter Alexandre Carnielli, Paul E. Dunne

J. Log. Comput., 2012

Special Issue: Formal Representations in Model-based Reasoning and Abduction.

Lorenzo Magnani, Walter Alexandre Carnielli, Claudio E. A. Pizzi

Log. J. IGPL, 2012

Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.

Anderson de Araújo, Walter Alexandre Carnielli

Log. J. IGPL, 2012

2011

The Single-minded Pursuit of Consistency and its Weakness.

Walter Alexandre Carnielli

Stud Logica, 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

Adjusting a conjecture of Erdős.

Walter Alexandre Carnielli, Pietro K. Carolino

Contributions Discret. Math., 2011

2010

Paraconsistent Machines and their Relation to Quantum Computing.

Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli

J. Log. Comput., 2010

2009

Interpolation via translations.

João Rasga, Walter Alexandre Carnielli, Cristina Sernadas

Math. Log. Q., 2009

New Dimensions on Translations Between Logics.

Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano

Logica Universalis, 2009

Editorial and call for papers: The Non-classical Logics Corner of the <i>Journal of Logic and Computation</i>.

Walter Alexandre Carnielli, Heinrich Wansing

J. Log. Comput., 2009

Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" . <i>Logic Journal of the IGPL, 16(6): 585-590(2008)</i>.

Igor Carboni Oliveira, Walter Alexandre Carnielli

Log. J. IGPL, 2009

2008

Modalities and Multimodalities - With the assistance and collaboration of Juliana Bueno-Soler

Walter Alexandre Carnielli, Claudio E. A. Pizzi

Logic, Epistemology, and the Unity of Science 12, Springer, ISBN: 978-1-4020-8590-1, 2008

Preservation of Interpolation Features by Fibring.

Walter Alexandre Carnielli, João Rasga, Cristina Sernadas

J. Log. Comput., 2008

The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.

Igor Carboni Oliveira, Walter Alexandre Carnielli

Log. J. IGPL, 2008

2007

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

Walter Alexandre Carnielli

Proceedings of the Model-Based Reasoning in Science, Technology, and Medicine, 2007

Unconventional Models of Computation Through Non-standard Logic Circuits.

Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli

Proceedings of the Unconventional Computation, 6th International Conference, 2007

2006

Surviving Abduction.

Walter Alexandre Carnielli

Log. J. IGPL, 2006

2005

A Paraconsistent Decagon.

João Marcos, Diderik Batens, Walter Alexandre Carnielli

J. Appl. Log., 2005

Anti-intuitionism and paraconsistency.

Andreas Bernhard Michael Brunner, Walter Alexandre Carnielli

J. Appl. Log., 2005

Editorial.

Walter Alexandre Carnielli, Paulo Mateus

Log. J. IGPL, 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

Polynomial Ring Calculus for Many-Valued Logics.

Walter Alexandre Carnielli

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem.

Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli

Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

Splitting Logics.

Walter Alexandre Carnielli, Marcelo E. Coniglio

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume One, 2005

2004

Logics For Qualitative Reasoning.

Paulo A. S. Veloso, Walter Alexandre Carnielli

Proceedings of the Logic, Epistemology, and the Unity of Science, 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

Editorial.

Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano

Log. J. IGPL, 2004

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

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

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

2002

Transfers between Logics and their Applications.

Marcelo E. Coniglio, Walter Alexandre Carnielli

Stud Logica, 2002

Modulated Fibring and The Collapsing Problem.

Cristina Sernadas, João Rasga, Walter Alexandre Carnielli

J. Symb. Log., 2002

A Logical Framework for Integrating Inconsistent Information in Multiple Databases.

Sandra de Amo, Walter Alexandre Carnielli, João Marcos

Proceedings of the Foundations of Information and Knowledge Systems, 2002

2000

The Dialogical Approach to Paraconsistency.

Sahid Rahman, Walter Alexandre Carnielli

Synth., 2000

<i>K</i>_{2, 2}-<i>K</i>_{1, n} and <i>K</i>_{2, n}-<i>K</i>_{2, n} bipartite Ramsey numbers.

Walter Alexandre Carnielli, Emerson L. Monte Carmelo

Discret. Math., 2000

1999

Limits for Paraconsistent Calculi.

Walter Alexandre Carnielli, João Marcos

Notre Dame J. Formal Log., 1999

Fuzzy fusion of results of medical image segmentation.

Denise Guliato, Rangaraj M. Rangayyan, Walter Alexandre Carnielli, João Antonio Zuffo, J. E. Leo Desautels

Proceedings of the Medical Imaging 1999: Image Processing, 1999

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

Ultrafilter Logic and Generic Reasoning.

Walter Alexandre Carnielli, Paulo A. S. Veloso

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1995

Maximal weakly-intuitionistic logics.

Antonio Mario Sette, Walter Alexandre Carnielli

Stud Logica, 1995

1993

Some Results an Polarized Relations of Higher Dimension.

Carlos A. Di Prisco, Walter Alexandre Carnielli

Math. Log. Q., 1993

1992

Reasoning under Inconsistent Knowledge.

Walter Alexandre Carnielli, Mamede Lima-Marques

J. Appl. Non Class. Logics, 1992

1991

Contextual Negations and Reasoning with Contradictions.

Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Many-Valued Logics and Plausible Reasoning.

Walter Alexandre Carnielli

Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

1987

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

Walter Alexandre Carnielli

Math. Log. Q., 1987

Systematization of Finite Many-Valued Logics Through the Method of Tableaux.

Walter Alexandre Carnielli

J. Symb. Log., 1987

1986

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

Walter Alexandre Carnielli

J. Symb. Log., 1986

1985

On covering and coloring problems for rook domains.

Walter Alexandre Carnielli

Discret. Math., 1985

1981

Transfinite Induction on Ordinal Configurations.

Luiz Paulo de Alcantara, Walter Alexandre Carnielli

Math. Log. Q., 1981