10916 search results - page 1 / 2184 » On Constructive Connectives and Systems |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Canonical inference rules and canonical systems are defined in the framework of non-strict single-conclusion sequent systems, in which the succeedents of sequents can be empty. Imp...
AI
2000
Springer
13 years 4 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
BIRTHDAY
2010
Springer
13 years 2 months ago
2010
Springer
We define the notions of a canonical inference rule and a canonical constructive system in the framework of strict single-conclusion Gentzen-type systems (or, equivalently, natural...
CONNECTION
1998
13 years 4 months ago
1998
ESEC
1999
Springer
13 years 9 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...