Concepedia

Walter Carnielli

WC

39

Publications

1.3K

Citations

21

H-Index

1984

Active since

Affiliations

Universidade Estadual de Campinas (UNICAMP)(Current)

Universidade Federal de Minas Gerais

Universidade de São Paulo

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

Universidade Federal de Uberlândia

Walter Carnielli is an author at Universidade Estadual de Campinas (UNICAMP) specializing in automated reasoning, engineering, and semantics.

Top concepts

Automated ReasoningEngineeringSemanticsLanguageFormal MethodsLinguisticsEpistemologyComputer ScienceFormal VerificationSocial Sciences

Publications per year

1984–2020

39

Publications

39

Systematization of finite many-valued logics through the method of tableaux

Walter Carnielli · Journal of Symbolic Logic · 1987 · 144 citations

Applied Logic, Computational Logic, Engineering +14

Formal inconsistency and evolutionary databases

Walter Carnielli, João Marcos, Sandra de Amo · Logic and Logical Philosophy · 2004 · 139 citations · Full text

Paraconsistent Logic, Engineering, Classical Logic +16

An epistemic approach to paraconsistency: a logic of evidence and truth

Walter Carnielli, Abílio Rodrigues · Synthese · 2017 · 61 citations

Cognitive Science, Epistemic Approach, Paraconsistent Logic +8

On paraconsistent deontic logic

Newton C. A. da Costa, Walter Carnielli · Philosophia · 1986 · 60 citations

Non-classical Logic, Paraconsistent Deontic Logic, Syntax +6

Computability. Computable Functions, Logic, and the Foundations of Mathematics

Carlos Augusto Di Prisco, Richard L. Epstein, Walter Carnielli · Bulletin of Symbolic Logic · 2002 · 57 citations

Computational Logic, Multiple Recursion, Engineering +10

Rows per page

1–5 of 39