Walter Alexandre Carnielli

Orcid: 0000-0003-0524-2917

Affiliations:
  • State University of Campinas, Brazil


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account.
Rev. Symb. Log., 2022

Valuation Semantics for First-Order Logics of Evidence and Truth.
J. Philos. Log., 2022

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

On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.
Log. J. IGPL, 2021

Reduction Techniques for Proving Decidability in Logics and their Meet-Combination.
Bull. Symb. Log., 2021

2020
Fraïssé's theorem for logics of formal inconsistency.
Log. J. IGPL, 2020

Recovery operators, paraconsistency and duality.
Log. J. IGPL, 2020

Volume II: New advances in Logics of Formal Inconsistency.
Log. J. IGPL, 2020

Volume I: Recovery operators in logics of formal inconsistency.
Log. J. IGPL, 2020

Kripke-Style Models for Logics of Evidence and Truth.
Axioms, 2020

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

2017
Polynomial ring calculus for modalities.
J. Log. Comput., 2017

Society semantics and the logic way to collective intelligence.
J. Appl. Non Class. Logics, 2017

Cut-elimination and deductive polarization in complementary classical logic.
Log. J. IGPL, 2017

Foreword.
Log. J. IGPL, 2017

2016
Paraconsistent set theory by predicating on consistency.
J. Log. Comput., 2016

Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem.
Entropy, 2016

2015
The method of polynomial ring calculus and its potentialities.
Theor. Comput. Sci., 2015

2014
On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency.
Rev. Symb. Log., 2014

The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface.
Log. J. IGPL, 2014

e-Reasoning: Between Digital Humanities and e-science.
Proceedings of the 10th IEEE International Conference on e-Science, 2014

2013
On Discourses Addressed by Infidel Logicians.
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.
Stud Logica, 2013

Special Issue on Multimodal Logics: A Preface.
Logica Universalis, 2013

Non-deterministic Semantics in Polynomial Format.
Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2012
Semi-stable semantics.
J. Log. Comput., 2012

Special Issue: Formal Representations in Model-based Reasoning and Abduction.
Log. J. IGPL, 2012

Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.
Log. J. IGPL, 2012

2011
The Single-minded Pursuit of Consistency and its Weakness.
Stud Logica, 2011

Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities.
Rev. Symb. Log., 2011

Adjusting a conjecture of Erdős.
Contributions Discret. Math., 2011

2010
Paraconsistent Machines and their Relation to Quantum Computing.
J. Log. Comput., 2010

2009
Interpolation via translations.
Math. Log. Q., 2009

New Dimensions on Translations Between Logics.
Logica Universalis, 2009

Editorial and call for papers: The Non-classical Logics Corner of the <i>Journal of Logic and Computation</i>.
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>.
Log. J. IGPL, 2009

2008
Modalities and Multimodalities - With the assistance and collaboration of Juliana Bueno-Soler
Logic, Epistemology, and the Unity of Science 12, Springer, ISBN: 978-1-4020-8590-1, 2008

Preservation of Interpolation Features by Fibring.
J. Log. Comput., 2008

The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.
Log. J. IGPL, 2008

2007
Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole.
Proceedings of the Model-Based Reasoning in Science, Technology, and Medicine, 2007

Unconventional Models of Computation Through Non-standard Logic Circuits.
Proceedings of the Unconventional Computation, 6th International Conference, 2007

2006
Surviving Abduction.
Log. J. IGPL, 2006

2005
A Paraconsistent Decagon.
J. Appl. Log., 2005

Anti-intuitionism and paraconsistency.
J. Appl. Log., 2005

Editorial.
Log. J. IGPL, 2005

An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.
Log. J. IGPL, 2005

Polynomial Ring Calculus for Many-Valued Logics.
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem.
Proceedings of the 2nd Indian International Conference on Artificial Intelligence, 2005

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

2004
Logics For Qualitative Reasoning.
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.
Stud Logica, 2004

Editorial.
Log. J. IGPL, 2004

2003
Fibring Non-Truth-Functional Logics: Completeness Preservation.
J. Log. Lang. Inf., 2003

Fuzzy fusion operators to combine results of complementary medical image segmentation techniques.
J. Electronic Imaging, 2003

Segmentation of breast tumors in mammograms using fuzzy sets.
J. Electronic Imaging, 2003

2002
Transfers between Logics and their Applications.
Stud Logica, 2002

Modulated Fibring and The Collapsing Problem.
J. Symb. Log., 2002

A Logical Framework for Integrating Inconsistent Information in Multiple Databases.
Proceedings of the Foundations of Information and Knowledge Systems, 2002

2000
The Dialogical Approach to Paraconsistency.
Synth., 2000

<i>K</i><sub>2, 2</sub>-<i>K</i><sub>1, n</sub> and <i>K</i><sub>2, n</sub>-<i>K</i><sub>2, n</sub> bipartite Ramsey numbers.
Discret. Math., 2000

1999
Limits for Paraconsistent Calculi.
Notre Dame J. Formal Log., 1999

Fuzzy fusion of results of medical image segmentation.
Proceedings of the Medical Imaging 1999: Image Processing, 1999

1997
XI Brazilian Conference on Mathematical Logic.
Log. J. IGPL, 1997

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

1995
Maximal weakly-intuitionistic logics.
Stud Logica, 1995

1993
Some Results an Polarized Relations of Higher Dimension.
Math. Log. Q., 1993

1992
Reasoning under Inconsistent Knowledge.
J. Appl. Non Class. Logics, 1992

1991
Contextual Negations and Reasoning with Contradictions.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
Many-Valued Logics and Plausible Reasoning.
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.
Math. Log. Q., 1987

Systematization of Finite Many-Valued Logics Through the Method of Tableaux.
J. Symb. Log., 1987

1986
Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985.
J. Symb. Log., 1986

1985
On covering and coloring problems for rook domains.
Discret. Math., 1985

1981
Transfinite Induction on Ordinal Configurations.
Math. Log. Q., 1981


  Loading...