Walter Alexandre Carnielli

56 papers A* 1B 1C 1Journal 43Unranked 6
YearRankTypeTitle / Venue / Authors
2020 J jnl
Fraïssé's theorem for logics of formal inconsistency.
Log. J. IGPL
Bruno Ramos Mendonça, Walter Alexandre Carnielli
2017 J jnl
Cut-elimination and deductive polarization in complementary classical logic.
Log. J. IGPL
Walter Alexandre Carnielli, Gabriele Pulcini
2016 J jnl
Paraconsistent set theory by predicating on consistency.
J. Log. Comput.
Walter Alexandre Carnielli, Marcelo E. Coniglio
2014 J jnl
On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency.
Rev. Symb. Log.
Walter Alexandre Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki, Tarcísio Rodrigues
2014 J jnl
The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface.
Log. J. IGPL
Walter Alexandre Carnielli, Renata P. de Freitas, Petrucio Viana
2013 J jnl
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
Walter Alexandre Carnielli
2013 — ch.
On Discourses Addressed by Infidel Logicians.
Paraconsistency: Logic and Applications
Walter Alexandre Carnielli, Marcelo E. Coniglio
2013 J jnl
Special Issue on Multimodal Logics: A Preface.
Logica Universalis
Walter Alexandre Carnielli, Claudio E. A. Pizzi
2012 J jnl
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning.
Log. J. IGPL
Anderson de Araújo, Walter Alexandre Carnielli
2012 J jnl
Semi-stable semantics.
J. Log. Comput.
Martin W. A. Caminada, Walter Alexandre Carnielli, Paul E. Dunne
2012 J jnl
Special Issue: Formal Representations in Model-based Reasoning and Abduction.
Log. J. IGPL
Lorenzo Magnani, Walter Alexandre Carnielli, Claudio E. A. Pizzi
2011 J jnl
Adjusting a conjecture of Erdős.
Contributions Discret. Math.
Walter Alexandre Carnielli, Pietro K. Carolino
2011 J jnl
Polynomial Ring Calculus for Modal Logics: a New Semantics and Proof method for Modalities.
Rev. Symb. Log.
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
2011 J jnl
The Single-minded Pursuit of Consistency and its Weakness.
Stud Logica
Walter Alexandre Carnielli
2010 J jnl
Paraconsistent Machines and their Relation to Quantum Computing.
J. Log. Comput.
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
2009 J jnl
Editorial and call for papers: The Non-classical Logics Corner of the
J. Log. Comput.
Walter Alexandre Carnielli, Heinrich Wansing
2009 J jnl
Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories" .
Log. J. IGPL
Igor Carboni Oliveira, Walter Alexandre Carnielli
2009 J jnl
Interpolation via translations.
Math. Log. Q.
João Rasga, Walter Alexandre Carnielli, Cristina Sernadas
2009 J jnl
New Dimensions on Translations Between Logics.
Logica Universalis
Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
2008 — book
Modalities and Multimodalities - With the assistance and collaboration of Juliana Bueno-Soler
Walter Alexandre Carnielli, Claudio E. A. Pizzi
2008 J jnl
Preservation of Interpolation Features by Fibring.
J. Log. Comput.
Walter Alexandre Carnielli, João Rasga, Cristina Sernadas
2008 J jnl
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories.
Log. J. IGPL
Igor Carboni Oliveira, Walter Alexandre Carnielli
2007 — ch.
Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole.
Model-Based Reasoning in Science, Technology, and Medicine
Walter Alexandre Carnielli
2007 C conf
Unconventional Models of Computation Through Non-standard Logic Circuits.
UC
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
2006 J jnl
Surviving Abduction.
Log. J. IGPL
Walter Alexandre Carnielli
2005 J jnl
A Paraconsistent Decagon.
J. Appl. Log.
João Marcos, Diderik Batens, Walter Alexandre Carnielli
2005 J jnl
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.
Log. J. IGPL
Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
2005 J jnl
Anti-intuitionism and paraconsistency.
J. Appl. Log.
Andreas Bernhard Michael Brunner, Walter Alexandre Carnielli
2005 J jnl
Editorial.
Log. J. IGPL
Walter Alexandre Carnielli, Paulo Mateus
2005 — conf
Polynomial Ring Calculus for Many-Valued Logics.
ISMVL
Walter Alexandre Carnielli
2005 — conf
Quantum Algorithms, Paraconsistent Computation and Deutsch's Problem.
IICAI
Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli
2005 — conf
Splitting Logics.
We Will Show Them! (1)
Walter Alexandre Carnielli, Marcelo E. Coniglio
2004 J jnl
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
Walter Alexandre Carnielli
2004 J jnl
Editorial.
Log. J. IGPL
Walter Alexandre Carnielli, Marcelo E. Coniglio, Itala M. Loffredo D'Ottaviano
2004 — ch.
Logics For Qualitative Reasoning.
Logic, Epistemology, and the Unity of Science
Paulo A. S. Veloso, Walter Alexandre Carnielli
2003 J jnl
Fibring Non-Truth-Functional Logics: Completeness Preservation.
J. Log. Lang. Inf.
Carlos Caleiro, Walter Alexandre Carnielli, Marcelo E. Coniglio, Amílcar Sernadas, Cristina Sernadas
2003 J jnl
Fuzzy fusion operators to combine results of complementary medical image segmentation techniques.
J. Electronic Imaging
Denise Guliato, Rangaraj M. Rangayyan, Walter Alexandre Carnielli, João Antonio Zuffo, J. E. Leo Desautels
2003 J jnl
Segmentation of breast tumors in mammograms using fuzzy sets.
J. Electronic Imaging
Denise Guliato, Rangaraj M. Rangayyan, Walter Alexandre Carnielli, João Antonio Zuffo, J. E. Leo Desautels
2002 — conf
A Logical Framework for Integrating Inconsistent Information in Multiple Databases.
FoIKS
Sandra de Amo, Walter Alexandre Carnielli, João Marcos
2002 J jnl
Modulated Fibring and The Collapsing Problem.
J. Symb. Log.
Cristina Sernadas, João Rasga, Walter Alexandre Carnielli
2002 J jnl
Transfers between Logics and their Applications.
Stud Logica
Marcelo E. Coniglio, Walter Alexandre Carnielli
2000 J jnl
The Dialogical Approach to Paraconsistency.
Synth.
Sahid Rahman, Walter Alexandre Carnielli
1999 B conf
Fuzzy fusion of results of medical image segmentation.
Image Processing
Denise Guliato, Rangaraj M. Rangayyan, Walter Alexandre Carnielli, João Antonio Zuffo, J. E. Leo Desautels
1999 J jnl
Limits for Paraconsistent Calculi.
Notre Dame J. Formal Log.
Walter Alexandre Carnielli, João Marcos
1997 — conf
Ultrafilter Logic and Generic Reasoning.
Kurt Gödel Colloquium
Walter Alexandre Carnielli, Paulo A. S. Veloso
1997 J jnl
XI Brazilian Conference on Mathematical Logic.
Log. J. IGPL
Itala M. Loffredo D'Ottaviano, Walter Alexandre Carnielli, Antonio Mario Sette, Michael B. Wrigley
1995 J jnl
Maximal weakly-intuitionistic logics.
Stud Logica
Antonio Mario Sette, Walter Alexandre Carnielli
1993 J jnl
Some Results an Polarized Relations of Higher Dimension.
Math. Log. Q.
Carlos A. Di Prisco, Walter Alexandre Carnielli
1992 J jnl
Reasoning under Inconsistent Knowledge.
J. Appl. Non Class. Logics
Walter Alexandre Carnielli, Mamede Lima-Marques
1991 A* conf
Contextual Negations and Reasoning with Contradictions.
IJCAI
Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques
1990 — conf
Many-Valued Logics and Plausible Reasoning.
ISMVL
Walter Alexandre Carnielli
1987 J jnl
Systematization of Finite Many-Valued Logics Through the Method of Tableaux.
J. Symb. Log.
Walter Alexandre Carnielli
1987 J jnl
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics.
Math. Log. Q.
Walter Alexandre Carnielli
1986 J jnl
Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985.
J. Symb. Log.
Walter Alexandre Carnielli
1985 J jnl
On covering and coloring problems for rook domains.
Discret. Math.
Walter Alexandre Carnielli
1981 J jnl
Transfinite Induction on Ordinal Configurations.
Math. Log. Q.
Luiz Paulo de Alcantara, Walter Alexandre Carnielli