877 search results - page 11 / 176 » Structural Cut Elimination |
105
click to vote
TABLEAUX
2009
Springer
15 years 6 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...
100
click to vote
TLCA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
TYPES
1998
Springer
15 years 3 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...
LPAR
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
174
Voted
ICDE
2003
IEEE
16 years 1 months ago
2003
IEEE
Duplicate elimination is an important stage in integrating data from multiple sources. The challenges involved are finding a robust deduplication function that can identify when t...