10916 search results - page 10 / 2184 » On Constructive Connectives and Systems |
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
CADE
1997
Springer
14 years 1 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...
CAGD
2008
13 years 9 months ago
2008
CIKM
2005
Springer
14 years 3 months ago
2005
Springer
Peer-to-peer (p2p) systems offer an efficient means of data sharing among a dynamically changing set of a large number of autonomous nodes. Each node in a p2p system is connected...
LOPSTR
2007
Springer
14 years 3 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...