On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs.

Stephan Schmitt Christoph Kreitz

Published in: TABLEAUX (1995)

Keyphrases

natural deduction
cut elimination
sequent calculus
theorem prover
linear logic
inference rules
theorem proving
wide class
formal proofs
modal logic
data sets
fixed point
first order logic
fuzzy numbers
sufficient conditions
computational intelligence
case study
neural network
formal proof
real time