Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241): Difference between revisions

@@ Property / cites work @@
+Q5869720
@@ Property / cites work: Q5869720 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
+Normal rank
@@ Property / cites work @@
+A topological representation of lattices
@@ Property / cites work: A topological representation of lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Stone duality for lattices
@@ Property / cites work: Stone duality for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Logics that Bound the Circumference of Transitive Frames
+Normal rank
@@ Property / cites work @@
+Canonical extensions and ultraproducts of polarities
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3844856
@@ Property / cites work: Q3844856 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-like constructions in topology and modal logic
+Normal rank
@@ Property / cites work @@
+Some results on modal axiomatization and definability for topological spaces
+Normal rank
@@ Property / cites work @@
+Q3001093
@@ Property / cites work: Q3001093 / rank @@
+Normal rank
@@ Property / cites work @@
+Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+On maximally resolvable spaces
@@ Property / cites work: On maximally resolvable spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Representation Theorems for Lattices with Negations: A Survey
+Normal rank
@@ Property / cites work @@
+Resolvable, not maximally resolvable spaces
@@ Property / cites work: Resolvable, not maximally resolvable spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Resolvable spaces which are not maximally resolvable
+Normal rank
@@ Property / cites work @@
+Ultrafilters and undecomposable spaces
@@ Property / cites work: Ultrafilters and undecomposable spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4150804
@@ Property / cites work: Q4150804 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and modality via topology
@@ Property / cites work: Intuitionistic logic and modality via topology / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424659
@@ Property / cites work: Q4424659 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part II
@@ Property / cites work: Logics containing <i>K</i>4. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical extensions: an algebraic approach to Stone duality
+Normal rank
@@ Property / cites work @@
+Bounded lattice expansions
@@ Property / cites work: Bounded lattice expansions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140286
@@ Property / cites work: Q3140286 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4886948
@@ Property / cites work: Q4886948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636857
@@ Property / cites work: Q5636857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and the finite model property
@@ Property / cites work: Decidability and the finite model property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222165
@@ Property / cites work: Q3222165 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank
@@ Property / cites work @@
+Failure of interpolation in relevant logics
@@ Property / cites work: Failure of interpolation in relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3466634
@@ Property / cites work: Q3466634 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of maximal topologies
@@ Property / cites work: Applications of maximal topologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605131
@@ Property / cites work: Q5605131 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite and $\omega $-resolvability
@@ Property / cites work: Finite and $\omega $-resolvability / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciliation of approaches to the construction of canonical extensions of bounded lattices
+Normal rank