1101 search results - page 78 / 221 » Forcing in proof theory |
47
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...
116
Voted
CORR
2006
Springer
15 years 18 days ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
112
click to vote
JLP
2008
15 years 16 days ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
126
click to vote
SLOGICA
1998
15 years 7 days ago
1998
We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deductionstyle proof systems for ...
121
click to vote
SETA
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we start developing a detailed theory of nega– Hadamard transforms. Consequently, we derive several results on negabentness of concatenations, and partially-symmetr...