90
Voted
LPAR
2010
Springer
15 years 6 days ago
2010
Springer
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...