3047 search results - page 68 / 610 » On the Meaning of Logical Completeness |
ESA
2005
Springer
14 years 4 months ago
2005
Springer
We study the problem of adding edges to an arbitrary graph so that the resulting graph is an interval graph. Our objective is to add an inclusion minimal set of edges, which means ...
JMIV
1998
13 years 10 months ago
1998
Classically, connectivity is a topological notion for sets, often introduced by means of arcs. A non topological axiomatics has been proposed by Matheron and Serra. The present pa...
ISJ
1998
13 years 10 months ago
1998
The organizational and social issues associated with the development, implementation and use of computer-based information systems have increasingly attracted the attention of info...
CADE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
CSR
2006
Springer
14 years 2 months ago
2006
Springer
The logic of proofs is known to be complete for the semantics of proofs in PA. In this paper we present a refinement of this theorem, we will show that we can assure that all the ...