Walter Alexandre Carnielli

Publication Activity (10 Years)

Years Active: 1981-2020
Publications (10 Years): 3

Top Topics

Inconsistent Knowledge

Sequent Calculi

Top Venues

J. Log. Comput.

Logica Universalis

Rev. Symb. Log.

Publications

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