Results 1  10
of
810,073
A Topological Completeness Theorem
, 1996
"... We prove a topological completeness theorem for infinitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover is conn ..."
Abstract
 Add to MetaCart
We prove a topological completeness theorem for infinitary geometric theories with respect to sheaf models. The theorem extends a classical result of Makkai and Reyes, stating that any topos with enough points has an open spatial cover. We show that one can achieve in addition that the cover
2.1. The Completeness Theorem 1
"... 2.2. Prooftheoretic consequences of the completeness theorem 3 ..."
Weak completeness theorem for . . .
, 2012
"... We prove weak (finite set of premises) completeness theorem for extended propositional linear time temporal logic with irreflexive version of untiloperator. We base it on the proof of completeness for basic propositional linear time temporal logic given in [20] which roughly follows the idea of t ..."
Abstract
 Add to MetaCart
We prove weak (finite set of premises) completeness theorem for extended propositional linear time temporal logic with irreflexive version of untiloperator. We base it on the proof of completeness for basic propositional linear time temporal logic given in [20] which roughly follows the idea
The AtiyahSegal Completion Theorem
, 2008
"... AtiyahSegals fuldstændiggørelsessætning er et vigtigt bindeled mellem repræsentationsteori og algebraisk topologi. Sætningen relaterer fuldstændiggørelse forstået algebraisk og geometrisk, og giver en sammenligning af ækvivarient Kteori for et rum med en virkning af en kompakt liegruppe med almind ..."
Abstract
 Add to MetaCart
almindelig Kteori for borelkonstruktionen for rummet. I dette speciale vil vi gennemgå de nødvendige forudsætninger for at forstå sætningen og dens bevis, og vi vil præsentere et moderne bevis. Teorien vil blive belyst gennem eksempler. The AtiyahSegal completion theorem is an important link between
COMPLETENESS THEOREMS IN GENERAL RELATIVITY
"... We review recent work which shows that generic spacetimes are timelike and null geodesically complete if the gradient of the lapse and the extrinsic curvature K are integrable. In an expanding universe, this last condition is weakened. We discuss these results with a view towards a comparison with t ..."
Abstract
 Add to MetaCart
We review recent work which shows that generic spacetimes are timelike and null geodesically complete if the gradient of the lapse and the extrinsic curvature K are integrable. In an expanding universe, this last condition is weakened. We discuss these results with a view towards a comparison
A completeness theorem for Kleene algebras and the algebra of regular events
 Information and Computation
, 1994
"... We givea nitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa's axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras. 1 ..."
Abstract

Cited by 250 (28 self)
 Add to MetaCart
We givea nitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa's axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras. 1
The Gödel completeness theorem for uncountable languages
 Formalized Mathematics
"... Summary. This article is the second in a series of two Mizar articles constituting a formal proof of the Gödel Completeness theorem [15] for uncountably large languages. We follow the proof given in [16]. The present article contains the techniques required to expand a theory such that the expande ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Summary. This article is the second in a series of two Mizar articles constituting a formal proof of the Gödel Completeness theorem [15] for uncountably large languages. We follow the proof given in [16]. The present article contains the techniques required to expand a theory
A Completeness theorem for Formal Topologies
, 1996
"... The main mathematical result of this work is a quite simple formulation and proof of a RasiowaSikorskilike theorem for countable lattices. Then the paper suggests an interpretation of this mathematical result as a completeness theorem for the formal topologies introduced by G. Sambin in order to ..."
Abstract
 Add to MetaCart
The main mathematical result of this work is a quite simple formulation and proof of a RasiowaSikorskilike theorem for countable lattices. Then the paper suggests an interpretation of this mathematical result as a completeness theorem for the formal topologies introduced by G. Sambin in order
Completeness theorems for syllogistic fragments. ms
, 2006
"... Traditional syllogisms involve sentences of the following simple forms: All X are Y, Some X are Y, No X are Y; similar sentences with proper names as subjects, and identities between names. These sentences come with the natural semantics using subsets of a given universe, and so it is natural to ask ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
fragments. These begin with the fragment of All sentences, for which we obtain one of the easiest completeness theorems in logic. The last system extends syllogistic reasoning with the classical boolean operations and cardinality comparisons. 1 Introduction: the program of natural logic This particular project begins
Dense completeness theorem for protoalgebraic logics?
"... The paper [3] started a new approach to Abstract Algebraic Logic in which, instead of the usual equivalencebased classification of logical systems leading to the wellknown Leibniz hierarchy of protoalgebraic logics (see [5]), we proposed an alternative setting based on implication connectives. By ..."
Abstract
 Add to MetaCart
refined to particular kinds of linearly ordered models, typically those where the order is dense (see e.g. [2]). The aim of this contribution is to provide a general characterization of the logics that admit such completeness theorem with respect to their densely ordered linear
Results 1  10
of
810,073