2152 search results - page 61 / 431 » On Automating the Calculus of Relations |
106
click to vote
CADE
2008
Springer
16 years 28 days ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
127
click to vote
CADE
2007
Springer
16 years 28 days ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
CADE
2003
Springer
16 years 28 days ago
2003
Springer
We make the notion of scope in the -calculus explicit. To that end, the syntax of the -calculus is extended with an end-of-scope operator , matching the usual opening of a scope du...
119
click to vote
FLOPS
2004
Springer
15 years 6 months ago
2004
Springer
We propose a semantic framework for modelling the linear usage of continuations in typed call-by-name programming languages. On the semantic side, we introduce a construction for c...
97
Voted
LPAR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The inverse method, due to Maslov, is a forward theorem proving method for cut-free sequent calculi that relies on the subformula property. The Logic of Bunched Implicati...