5084 search results - page 232 / 1017 » Proving Possibility Properties |
182
click to vote
TLCA
2005
Springer
16 years 17 hour ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
167
click to vote
TLCA
2005
Springer
16 years 17 hour ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
139
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
154
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...
157
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...