CORR
2010
Springer
13 years 4 months ago
2010
Springer
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be...
CSL
2010
Springer
13 years 5 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
ROOM
2000
13 years 6 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
CSL
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
CADE
2008
Springer
13 years 6 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
DLOG
2007
13 years 7 months ago
2007
We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondeterminism due to general inclusion axioms, we base our calculus on hypertableau an...
TAPSOFT
1987
Springer
13 years 8 months ago
1987
Springer
The Calculus of Constructions is a higher-order formalism for writing constructive proofs in a natural deduction style, inspired from work of de Bruijn [2, 3], Girard [12], Martin...
FOSSACS
2009
Springer
13 years 8 months ago
2009
Springer
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
LICS
1992
IEEE
13 years 8 months ago
1992
IEEE
The calculus of binary relations was introduced by De Morgan in 1860, and was subsequently greatly developed by Peirce and Schr