Walter Alexandre Carnielli

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

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



In proceedings 
PhD thesis 





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

Society semantics and the logic way to collective intelligence.
Journal of Applied Non-Classical Logics, 2017

Cut-elimination and deductive polarization in complementary classical logic.
Logic Journal of the IGPL, 2017

Logic Journal of the IGPL, 2017

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

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

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

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

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

Non-deterministic Semantics in Polynomial Format.
Electr. Notes Theor. Comput. Sci., 2014

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

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.
Studia Logica, 2013

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

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

Special Issue: Formal Representations in Model-based Reasoning and Abduction.
Logic Journal of the IGPL, 2012

Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.
Logic Journal of the IGPL, 2012

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

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

Adjusting a conjecture of Erdős.
Contributions to Discrete Mathematics, 2011

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

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 Journal of Logic and Computation.
J. Log. Comput., 2009

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).
Logic Journal of the IGPL, 2009

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.
Logic Journal of the IGPL, 2008

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

Surviving Abduction.
Logic Journal of the IGPL, 2006

A Paraconsistent Decagon.
J. Applied Logic, 2005

Anti-intuitionism and paraconsistency.
J. Applied Logic, 2005

Logic Journal of the IGPL, 2005

An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.
Logic Journal of the 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

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.
Studia Logica, 2004

Logic Journal of the IGPL, 2004

Fibring Non-Truth-Functional Logics: Completeness Preservation.
Journal of Logic, Language and Information, 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

Transfers between Logics and their Applications.
Studia 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

The Dialogical Approach to Paraconsistency.
Synthese, 2000

K2, 2-K1, n and K2, n-K2, n bipartite Ramsey numbers.
Discrete Mathematics, 2000

Limits for Paraconsistent Calculi.
Notre Dame Journal of Formal Logic, 1999

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

XI Brazilian Conference on Mathematical Logic.
Logic Journal of the IGPL, 1997

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

Maximal weakly-intuitionistic logics.
Studia Logica, 1995

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

Reasoning under Inconsistent Knowledge.
Journal of Applied Non-Classical Logics, 1992

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

Many-Valued Logics and Plausible Reasoning.
Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

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

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

On covering and coloring problems for rook domains.
Discrete Mathematics, 1985

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