Advanced search
Start date
Betweenand

Walter Alexandre Carnielli

CV Lattes GoogleMyCitations ResearcherID


Universidade Estadual de Campinas (UNICAMP). Centro de Lógica, Epistemologia e História da Ciência (CLE)  (Institutional affiliation for the last research proposal)
Birthplace: Brazil

FULL PROFESSOR OF LOGIC, DEPARTMENT OF PHILOSOPHY, STATE UNIVERSITY OF CAMPINAS, BRAZIL, SINCE 1994-; Director of the Centre for Logic, Epistemology and the History of Science, 1998-2004, and 2010-2015 Member of the Security and Quantum Information Group, Institute of Telecommunications, Lisbon, Portugal, 2006-. President of the Brazilian Logicc Society, 2007-2011 Specialties: Logic and foundations of mathematics, philosophical logic, non-classical logics Educated: State University of Campinas, PhD Mathematics, 1982, MSc Mathematics, 19 PhD thesis: Systematization of the finite many valued logics through the method of tableaux; supervisor, Newton C. A. da Costa. Pos-Doc posiions at the University of California (1985) , Universitat Munster (Westfalische-Wilhelms) (1990) and Rheinische Friedrich-Wilhelms-Universität Bonn,as grantee of the Alexander von Humboldt Foundation Research Profile (Extracted from: The International Directory of Logicians: Who's Who in Logic 2008 College Publications D. M. Gabbay and J. Woods, eds.): Made substantial contributions to the proof theory and semantics for contemporary heterodox (non-classical) logics. Of special significance are his contributions to many valued logics, paraconsistent logics and combination of logics.With his students and collaborators Carnielli introduced the possible-translations semantics, which led to a revival in the semantic interpretation of paraconsistent logics, and the concept of logics of formal inconsistency which systematize a great number of extant paraconsistent logics, opening the way to applications of paraconsistency to computer science and to philosophical investigations around the topic. Carnielli has also worked on finite and infinite combinatorics, and shaped, with collaborators, the modulated logics, a wide class of logics dedicated to formalize quantified uncertain reasoning, with philosophical implications. Current work by Carnielli also includes the role of non-classical logics in the theory of classical computation, with consequences for quantum computation. (Source: Lattes Curriculum)

Research grants
Scholarships in Brazil
Scholarships abroad
FAPESP support in numbers * Updated October 12, 2019
Total / Available in English
Most frequent collaborators in research granted by FAPESP
Contact researcher

Use this Research Supported by FAPESP (BV/FAPESP) channel only to send messages referring to FAPESP-funded scientific projects.


 

 

 

 

Keywords used by the researcher
Scientific publications resulting from Research Grants and Scholarships under the grantee's responsibility (32)

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

Publications31
Citations104
Cit./Article3.4
Data from Web of Science

BEZIAU, JEAN-YVES; CONIGLIO, MARCELO E.. To distribute or not to distribute?. LOGIC JOURNAL OF THE IGPL, v. 19, n. 4, SI, p. 566-583, . Web of Science Citations: 3. (04/14107-2)

CARNIELLI, WALTER. The Single-minded Pursuit of Consistency and its Weakness. STUDIA LOGICA, v. 97, n. 1, p. 81-100, . Web of Science Citations: 3. (04/14107-2)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Semantics and proof-theory of depth bounded Boolean logics. THEORETICAL COMPUTER SCIENCE, v. 480, p. 43-68, . Web of Science Citations: 7. (11/19860-4, 10/51038-0, 08/03995-5)

FREIRE, RODRIGO A.. On Existence in Set Theory. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 53, n. 4, p. 525-547, . Web of Science Citations: 3. (09/10751-8)

D'AGOSTINO, MARCELLO; FINGER, MARCELO; GABBAY, DOV. Cut-Based Abduction. LOGIC JOURNAL OF THE IGPL, v. 16, n. 6, p. 537-560, . Web of Science Citations: 8. (04/14107-2)

OLIVEIRA, IGOR CARBONI; CARNIELLI, WALTER. The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. LOGIC JOURNAL OF THE IGPL, v. 16, n. 6, p. 585-590, . Web of Science Citations: 1. (04/14107-2)

BUENO-SOLER, JULIANA; CARNIELLI, WALTER. Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem. Entropy, v. 18, n. 9, . Web of Science Citations: 2. (10/51038-0)

PIAZZA, MARIO; PULCINI, GABRIELE. Unifying logics via context-sensitiveness. JOURNAL OF LOGIC AND COMPUTATION, v. 27, n. 1, p. 21-40, . Web of Science Citations: 5. (13/22371-0)

VELOSO, PAULO A. S.; VELOSO, SHEILA R. M.; VIANA, PETRUCIO; DE FREITAS, RENATA; BENEVIDES, MARIO; DELGADO, CARLA. On vague notions and modalities: a modular approach. LOGIC JOURNAL OF THE IGPL, v. 18, n. 3, p. 381-402, . Web of Science Citations: 0. (04/14107-2)

PIAZZA, MARIO; PULCINI, GABRIELE. Uniqueness of axiomatic extensions of cut-free classical propositional logic. LOGIC JOURNAL OF THE IGPL, v. 24, n. 5, p. 708-718, . Web of Science Citations: 0. (13/22371-0)

VENTURI, GIORGIO. A note on the introduction of Hilbert's Grundlagen der Geometrie. Manuscrito, v. 40, n. 2, p. 5-17, . Web of Science Citations: 0. (14/25342-4, 13/25095-4)

BONIOLO, GIOVANNI; D'AGOSTINO, MARCELLO; PIAZZA, MARIO; PULCINI, GABRIELE. Adding logic to the toolbox of molecular biology. EUROPEAN JOURNAL FOR PHILOSOPHY OF SCIENCE, v. 5, n. 3, p. 399-417, . Web of Science Citations: 6. (13/22371-0)

D'AGOSTINO, MARCELLO; PIAZZA, MARIO; PULCINI, GABRIELE. A logical calculus for controlled monotonicity. JOURNAL OF APPLIED LOGIC, v. 12, n. 4, p. 558-569, . Web of Science Citations: 4. (13/22371-0)

CONIGLIO, MARCELO E.; ESTEVA, FRANCESC; GODO, LLUIS. Logics of formal inconsistency arising from systems of fuzzy logic. LOGIC JOURNAL OF THE IGPL, v. 22, n. 6, p. 880-904, . Web of Science Citations: 6. (10/51038-0)

FREIRE, RODRIGO A.. On Existence in Set Theory, Part II: Relative Productivity. NOTRE DAME JOURNAL OF FORMAL LOGIC, v. 55, n. 1, p. 91-105, . Web of Science Citations: 0. (09/10751-8)

CARNIELLI, WALTER; CONIGLIO, MARCELO E.; PODIACKI, RODRIGO; RODRIGUES, TARCISIO. ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY. Review of Symbolic Logic, v. 7, n. 3, p. 548-578, . Web of Science Citations: 5. (10/51038-0)

CARNIELLI, WALTER; CAROLINO, PIETRO K.. ADJUSTING A CONJECTURE OF ERDOS. CONTRIBUTIONS TO DISCRETE MATHEMATICS, v. 6, n. 1, p. 154-159, . Web of Science Citations: 0. (04/14107-2)

CONIGLIO, MARCELO ESTEBAN; DA CRUZ SILVESTRINI, LUIZ HENRIQUE. An alternative approach for quasi-truth. LOGIC JOURNAL OF THE IGPL, v. 22, n. 2, SI, p. 387-410, . Web of Science Citations: 14. (10/51038-0)

CONIGLIO, MARCELO E.; FIGALLO, MARTIN. Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras. STUDIA LOGICA, v. 102, n. 3, p. 525-539, . Web of Science Citations: 4. (10/51038-0)

CARNIELLI, WALTER; CONIGLIO, MARCELO E.. Paraconsistent set theory by predicating on consistency. JOURNAL OF LOGIC AND COMPUTATION, v. 26, n. 1, SI, p. 97-116, . Web of Science Citations: 5. (10/51038-0)

GILBERT, DAVID R.; VENTURI, GIORGIO. Neighborhood Semantics for Logics of Unknown Truths and False Beliefs. AUSTRALASIAN JOURNAL OF LOGIC, v. 14, n. 1, SI, p. 246-267, . Web of Science Citations: 0. (13/25095-4)

CONIGLIO, MARCELO E.; ESTEVA, FRANCESC; GODO, LLUIS. On the set of intermediate logics between the truth- and degree-preserving Aukasiewicz logics. LOGIC JOURNAL OF THE IGPL, v. 24, n. 3, SI, p. 288-320, . Web of Science Citations: 1. (10/51038-0)

AGUDELO-AGUDELO, JUAN C.; CARNIELLI, WALTER. Polynomial ring calculus for modalities. JOURNAL OF LOGIC AND COMPUTATION, v. 27, n. 6, SI, p. 1853-1870, . Web of Science Citations: 0. (10/51038-0)

GIORGIO VENTURI. A note on the introduction of Hilbert’s Grundlagen der Geometrie. Manuscrito, v. 40, n. 2, p. -, . (14/25342-4, 13/25095-4)

TESTA, RAFAEL R.; CONIGLIO, MARCELO E.; RIBEIRO, MARCIO M.. AGM-like paraconsistent belief change. LOGIC JOURNAL OF THE IGPL, v. 25, n. 4, SI, p. 632-672, . Web of Science Citations: 0. (14/22119-2, 10/51038-0)

GILBERT, DAVID R.; VENTURI, GIORGIO. REFLEXIVE-INSENSITIVE MODAL LOGICS. Review of Symbolic Logic, v. 9, n. 1, p. 167-180, . Web of Science Citations: 2. (13/25095-4)

CONIGLIO, M. E.; SERNADAS, A.; SERNADAS, C.. Preservation by fibring of the finite model property. JOURNAL OF LOGIC AND COMPUTATION, v. 21, n. 2, p. 375-402, . Web of Science Citations: 3. (04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER. POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES. Review of Symbolic Logic, v. 4, n. 1, p. 150-170, . Web of Science Citations: 6. (04/14107-2)

SERNADAS, AMILCAR; SERNADAS, CRISTINA; RASGA, JOAO; CONIGLIO, MARCELO. A Graph-theoretic Account of Logics. JOURNAL OF LOGIC AND COMPUTATION, v. 19, n. 6, p. 1281-1320, . Web of Science Citations: 7. (04/14107-2)

AGUDELO, JUAN C.; CARNIELLI, WALTER. Paraconsistent Machines and their Relation to Quantum Computing. JOURNAL OF LOGIC AND COMPUTATION, v. 20, n. 2, p. 573-595, . Web of Science Citations: 6. (04/14107-2)

RASGA, JOAO; CARNIELLI, WALTER; SERNADAS, CRISTINA. Interpolation via translations. MATHEMATICAL LOGIC QUARTERLY, v. 55, n. 5, p. 515-534, . Web of Science Citations: 1. (04/14107-2)

BUENO-SOLER, JULIANA. Models for anodic and cathodic multimodalities. LOGIC JOURNAL OF THE IGPL, v. 20, n. 2, SI, p. 458-476, . Web of Science Citations: 2. (04/14107-2, 08/03995-5)

Academic Publications

(References retrieved automatically from State of São Paulo Research Institutions)

CAROLINO, Pietro Kreitlon. Polinomização de logicas : problemas e perspectivas. 2009. Dissertação (Mestrado) - Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (06/05429-1)

FILHO, Alfredo Roque de Oliveira Freire. Estudo comparado do comprometimento ontológico das teorias de classes e conjuntos. 2019. Tese (Doutorado) – Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas. (16/10497-8)

FREIRE, Rodrigo de Alvarenga. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos. 2009. Tese (Doutorado) – Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (05/55203-7)

AGUDELO, Juan Carlos Agudelo. Computação paraconsistente : uma abordagem logica a computação quantica. 2009. Tese (Doutorado) – Instituto de Filosofia e Ciências Humanas. Universidade Estadual de Campinas (UNICAMP). (05/04123-3)

Distribution map of accesses to this page
Click here to view the access summary to this page.
Please report errors in researcher information by writing to: cdi@fapesp.br.
X

Report errors in this page


Error details: