BussTautology
gapt.examples.BussTautology
object BussTautology
Creates the n-th tautology of a sequence that has only exponential-size cut-free proofs
This sequence is taken from: S. Buss. "Weak Formal Systems and Connections to Computational Complexity". Lecture Notes for a Topics Course, UC Berkeley, 1988, available from: http://www.math.ucsd.edu/~sbuss/ResearchWeb/index.html
Attributes
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
BussTautology.type
Members list
In this article