LinearExampleProof
gapt.examples.sequence.LinearExampleProof
object LinearExampleProof extends ProofSequence
Constructs cut-free FOL LK proofs of the sequents
P(0), ∀x. P(x) → P(s(x)) :- P(s^n^(0))
where n is an Integer parameter >= 0.
Attributes
- Graph
-
- Supertypes
- Self type
-
LinearExampleProof.type
Members list
In this article