2203 search results - page 106 / 441 » Temporal Abstract Interpretation |
84
Voted
FSS
2006
15 years 3 months ago
2006
Abstract. We show a complete axiomatization of unary connectives interpreted by monotone and superdiagonal truth functions, so-called truth-depressing hedges. These connectives for...
115
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Usually, mathematical objects have highly parallel interpretations. In this paper, we consider them as sequential constructors of other objects. In particular, we prove t...
165
Voted
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
132
Voted
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
128
Voted
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part...