15 search results - page 1 / 3 » Herbrand Sequent Extraction |
AISC
2008
Springer
13 years 7 months ago
2008
Springer
TLCA
2009
Springer
14 years 4 days ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
AML
2005
13 years 5 months ago
2005
TABLEAUX
1995
Springer
13 years 9 months ago
1995
Springer
We present a procedure transforming intuitionistic matrix proofs into proofs within the intuitionistic standard sequent calculus. The transformation is based on L. Wallen’s proof...
LPAR
2010
Springer
13 years 4 months 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...