tbillc
gapt.examples.tbillc
object tbillc extends TacticsProof
This is an example used in the talk[1] at TbiLLC 2013. It generates a (cut-free) LK proof where the extracted expansion tree has nested quantifiers.
[1] http://www.illc.uva.nl/Tbilisi/Tbilisi2013/uploaded_files/inlineitem/riener.pdf
Attributes
- Graph
-
- Supertypes
-
class TacticsProofclass TacticsProof0class Objecttrait Matchableclass Any
- Self type
-
tbillc.type
Members list
In this article