A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System.

Nathaniel Miller

Published in: J. Philos. Log. (2006)

Keyphrases

proof search
linear logic
sequent calculus
cut elimination
natural deduction
inference rules
theorem prover
theorem proving
data sets
modal logic
real time
intuitionistic logic
model checking
orders of magnitude
object oriented
proof planning
proof theoretic