Intuitionistic logic and modality via topology (Q598307): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2003.11.013
+Normal rank
@@ Property / OpenAlex ID @@
+W2078421228
@@ Property / OpenAlex ID: W2078421228 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3844856
@@ Property / cites work: Q3844856 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological duality for diagonalizable algebras
@@ Property / cites work: Topological duality for diagonalizable algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary combinatorics and modal logic
@@ Property / cites work: Infinitary combinatorics and modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
+Normal rank
@@ Property / cites work @@
+Provability in arithmetic and a schema of Grzegorczyk
+Normal rank
@@ Property / cites work @@
+Q4397069
@@ Property / cites work: Q4397069 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789450
@@ Property / cites work: Q4789450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735758
@@ Property / cites work: Q3735758 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751820
@@ Property / cites work: Q2751820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424659
@@ Property / cites work: Q4424659 / rank @@
+Normal rank
@@ Property / cites work @@
+Scattered toposes
@@ Property / cites work: Scattered toposes / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetical necessity, provability and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Some relational systems and the associated topological spaces
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+On the syntactical construction of systems of modal logic
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / 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 @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:598307