3658 search results - page 44 / 732 » The logic of proofs, semantically |
IFM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
CADE
2001
Springer
14 years 9 months ago
2001
Springer
TABLEAUX
1998
Springer
14 years 1 months ago
1998
Springer
We present a framework for eliminating redundancies during the reconstruction of sequent proofs from matrix proofs. We show that search-free proof reconstruction requires knowledge...
FUIN
2000
13 years 9 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...