15 search results - page 1 / 3 » Herbrand Sequent Extraction |
62
Voted
AISC
2008
Springer
15 years 2 months ago
2008
Springer
113
Voted
TLCA
2009
Springer
15 years 7 months 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...
57
Voted
AML
2005
15 years 16 days ago
2005
91
Voted
TABLEAUX
1995
Springer
15 years 4 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...
82
Voted
LPAR
2010
Springer
14 years 11 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...