3658 search results - page 132 / 732 » The logic of proofs, semantically |
84
Voted
APAL
2008
15 years 24 days ago
2008
An oversight in Guaspari and Solovay's "Rosser sentences" (1979, Ann. Math. Log., 16, 81) is pointed out and emended. It concerns the premisses of their proof that ...
129
Voted
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...
98
Voted
FMOODS
2003
15 years 2 months ago
2003
A way to write proof scores showing that distributed systems have invariant properties in algebraic specification languages is described, which has been devised through several ca...
79
Voted
STACS
2007
Springer
15 years 6 months ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of
74
Voted
EUSFLAT
2007
15 years 2 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...