2500 search results - page 22 / 500 » Logical Semantics of Modularisation |
120
click to vote
NC
2007
15 years 2 months ago
2007
In quantum computational logic meanings of sentences are identified with quantum information quantities: systems of qubits or, more generally, mixtures of systems of qubits. We co...
150
click to vote
IGPL
2010
15 years 1 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
260
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...
122
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
105
click to vote
JOLLI
2008
15 years 2 months ago
2008
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive log...