Searching for "Rasiowa-Sikorski Lemma" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Logic Programming from the Perspective of Algebraic Semantics
- …: Rasiowa-Sikorski lemma, algebraic semantics, logic programming, completeness of SLD-resolution. 1…
- Add To MetaCart
-
unknown title
- … the Rasiowa–Sikorski lemma to Martin’s axiom; Martin’s axiom; Hausdorff gaps; Closed unbounded sets…
- Add To MetaCart
-
Completions of Algebras and Completeness of Modal and Substructural Logics
- … used here is usually stated as Rasiowa-Sikorski lemma. Originally the lemma is proved for Boolean…
- Cited by 5 (1 self) – Add To MetaCart
-
A Complete Axiomatization of a First-Order Temporal Logic Over Trace Systems
- … class of the formula AY false EF (:oe). Such an ultrafilter exists by the Rasiowa-Sikorski lemma: if a…
- Add To MetaCart
-
Kleene algebra with tests
- …. In the case of countable K, some variant of the Tarski–Rasiowa–Sikorski lemma or the Baire category theorem…
- Cited by 69 (18 self) – Add To MetaCart
Showing 1 through 5.
