Prefixed Tableau Systems for Logic of Proofs and Provability.

Hidenori Kurokawa

Published in: TABLEAUX (2013)

Keyphrases

proof search
asynchronous circuits
expert systems
complex systems
artificial intelligence
computer systems
logic programming
multi valued
real time
data sets
building blocks
theorem prover
automated theorem proving