Socratic Proofs and Paraconsistency: A Case Study.

Andrzej Wisniewski Guido Vanackere Dorota Leszczynska

Published in: Stud Logica (2005)

Keyphrases

case study
tutoring system
theorem proving
neural network
special case
test bed
theorem prover
database
real world
image processing
lower bound
intelligent tutoring systems
computer programs
sequent calculus