3658 search results - page 78 / 732 » The logic of proofs, semantically |
137
click to vote
JURIX
2008
15 years 7 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...
154
click to vote
RTA
2010
Springer
15 years 10 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 ...