Homeomorphism and the equivalence of logical systems (Q5937829): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1039182255
+Normal rank
@@ Property / OpenAlex ID @@
+W2055005866
@@ Property / OpenAlex ID: W2055005866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003057
@@ Property / cites work: Q4003057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318839
@@ Property / cites work: Q4318839 / rank @@
+Normal rank
@@ Property / cites work @@
+A warning about the choice of primitive operators in modal logic
+Normal rank
@@ Property / cites work @@
+Q3998991
@@ Property / cites work: Q3998991 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895873
@@ Property / cites work: Q4895873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3717023
@@ Property / cites work: Q3717023 / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Q3952081
@@ Property / cites work: Q3952081 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank