A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
A Game Semantics for Proof Search: Preliminary Results
2006
Electronical Notes in Theoretical Computer Science
The syntactic variable A denotes atomic formulas: that is, a formula with a predicate (a non-logical constant) as its head: the formulas ⊥ and and t = s are not atomic formulas.
doi:10.1016/j.entcs.2005.11.072
fatcat:my7zdcym3bekrf56ta37d7hyfu