Synonymous logics (Q1404389): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249037
@@ Property / cites work: Q4249037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625151
@@ Property / cites work: Q5625151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995890
@@ Property / cites work: Q3995890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / 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 @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q3698777
@@ Property / cites work: Q3698777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3717023
@@ Property / cites work: Q3717023 / rank @@
+Normal rank
@@ Property / cites work @@
+Homeomorphism and the equivalence of logical systems
+Normal rank
@@ Property / cites work @@
+Q5581592
@@ Property / cites work: Q5581592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal system S4.4
@@ Property / cites work: Modal system S4.4 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of tense logic to modal logic. I
@@ Property / cites work: Reduction of tense logic to modal logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of tense logic to modal logic II
@@ Property / cites work: Reduction of tense logic to modal logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+Theory of Matroids
@@ Property / cites work: Theory of Matroids / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1404389