3658 search results - page 78 / 732 » The logic of proofs, semantically |
CORR
2000
Springer
13 years 9 months ago
2000
Springer
ENTCS
2002
13 years 9 months ago
2002
SLOGICA
1998
13 years 9 months ago
1998
JURIX
2008
13 years 10 months ago
2008
This paper extends our previous logical analysis of presumptions and burden of proof by studying the force of a presumption once counterevidence has been offered. In the jurisprude...
RTA
2010
Springer
14 years 1 months ago
2010
Springer
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...