Marcelo Finger
Papers
1
Total Citations
4
H-Index
1
About
Marcelo Finger is a leading figure in the field of non-classical logics, with a particular focus on paraconsistent reasoning and automated theorem proving. His work addresses the computational challenges of logics that tolerate contradictions, a critical area for artificial intelligence and knowledge representation. Finger's most notable contribution is the development of an efficient theorem prover for the **C1 paraconsistent logic**, a system that formalizes reasoning in the presence of inconsistency without collapsing into triviality. By adapting the **KE inference system**—a tableau method designed for computational efficiency—Finger created the first automated prover for C1, bridging a significant gap in the literature. This work, published in 2009, has garnered **4 citations** and stands as a foundational step for practical paraconsistent reasoning. Finger’s research not only advances theoretical logic but also provides tangible tools for real-world applications where data may be inconsistent, such as database integration and legal reasoning. His contributions continue to influence scholars working at the intersection of logic, computation, and philosophy.
Research Focus
Key Achievements
Top Papers
- 1