3047 search results - page 300 / 610 » On the Meaning of Logical Completeness |
190
Voted
CORR
2011
Springer
14 years 11 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
211
Voted
PEPM
2009
ACM
16 years 4 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
188
Voted
IGPL
2008
15 years 7 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
222
Voted
CONTEXT
2001
Springer
16 years 1 days ago
2001
Springer
Abstract. This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox...
195
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Users of distributed systems such as the TeraGrid and Open Science Grid can execute their applications on many different systems. We wish to help such users, or the grid scheduler...