Topological proofs of some Rasiowa-Sikorski lemmas (Q454394): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-012-9374-2
@@ Property / DOI: 10.1007/s11225-012-9374-2 / rank @@
-Normal rank
@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+The Stone Space of an Ortholattice
@@ Property / cites work: The Stone Space of an Ortholattice / rank @@
+Normal rank
@@ Property / cites work @@
+A logic stronger than intuitionism
@@ Property / cites work: A logic stronger than intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Prime Ideal Structure in Commutative Rings
@@ Property / cites work: Prime Ideal Structure in Commutative Rings / rank @@
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Algebraic Treatment of the Functional Calculi of Heyting and Lewis
+Normal rank
@@ Property / cites work @@
+A proof of the completeness theorem of Grödel
@@ Property / cites work: A proof of the completeness theorem of Grödel / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067097
@@ Property / cites work: Q4067097 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the Rasiowa-Sikorski lemma
@@ Property / cites work: Notes on the Rasiowa-Sikorski lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / DOI @@
+.1007/S11225-012-9374-2
@@ Property / DOI: 10.1007/S11225-012-9374-2 / rank @@
+Normal rank