3047 search results - page 68 / 610 » On the Meaning of Logical Completeness |
111
Voted
ESA
2005
Springer
15 years 6 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 ...
131
Voted
JMIV
1998
15 years 9 days 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...
76
Voted
ISJ
1998
15 years 9 days 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...
102
Voted
CADE
2008
Springer
16 years 29 days 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...
89
Voted
CSR
2006
Springer
15 years 4 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 ...