3658 search results - page 232 / 732 » The logic of proofs, semantically |
182
click to vote
RTA
2005
Springer
16 years 5 days ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
190
click to vote
LPNMR
2005
Springer
16 years 5 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
127
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
136
click to vote
LPAR
2010
Springer
15 years 5 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...
159
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call...