75 search results - page 8 / 15 » Abstract Interpretation of Proofs: Classical Propositional C... |
131
click to vote
JSYML
2011
15 years 5 days ago
2011
Abstract. Westudy cut-elimination in first-orderclassical logic. Weconstructa sequenceofpolynomiallength proofs having a non-elementary number of different cut-free normal forms....
156
Voted
PODS
1997
ACM
15 years 9 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
140
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
135
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Sequent calculi usually provide a general deductive setting that uniformly embeds other proof-theoretical approaches, such as tableaux methods, resolution techniques, goa...
135
click to vote
TABLEAUX
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...