Walter Alexandre Carnielli

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2017
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

Foreword.
Logic Journal of the 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.
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

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

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

2012
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

2011
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

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

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

2005
A Paraconsistent Decagon.
J. Applied Logic, 2005

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

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

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

Editorial.
Logic Journal of the IGPL, 2004

2003
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

2002
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

2000
The Dialogical Approach to Paraconsistency.
Synthese, 2000

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

1999
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

1997
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

1995
Maximal weakly-intuitionistic logics.
Studia Logica, 1995

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

1992
Reasoning under Inconsistent Knowledge.
Journal of Applied Non-Classical 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.
Discrete Mathematics, 1985

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


  Loading...