Entailment systems for stably locally compact locales (Q1434362): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1992352035
@@ Property / OpenAlex ID: W1992352035 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+Stably continuous frames
@@ Property / cites work: Stably continuous frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944905
@@ Property / cites work: Q4944905 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-locally compact coreflection of a stably locally compact locale
+Normal rank
@@ Property / cites work @@
+Q3965241
@@ Property / cites work: Q3965241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3322276
@@ Property / cites work: Q3322276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978977
@@ Property / cites work: Q3978977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265614
@@ Property / cites work: Q4265614 / rank @@
+Normal rank
@@ Property / cites work @@
+Stably Compact Spaces and Closed Relations
@@ Property / cites work: Stably Compact Spaces and Closed Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4373424
@@ Property / cites work: Q4373424 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous domains in logical form
@@ Property / cites work: Continuous domains in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411825
@@ Property / cites work: Q4411825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively given domains
@@ Property / cites work: Effectively given domains / rank @@
+Normal rank
@@ Property / cites work @@
+Stable Compactification I
@@ Property / cites work: Stable Compactification I / rank @@
+Normal rank
@@ Property / cites work @@
+Localic Priestley duality
@@ Property / cites work: Localic Priestley duality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Information systems for continuous posets
@@ Property / cites work: Information systems for continuous posets / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive points of powerlocales
@@ Property / cites work: Constructive points of powerlocales / rank @@
+Normal rank
@@ Property / cites work @@
+Topical categories of domains
@@ Property / cites work: Topical categories of domains / rank @@
+Normal rank
@@ Property / cites work @@
+A universal characterization of the double powerlocale
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1434362