Proof of L-decidability of Lewis system S5 (Q1219801): Difference between revisions

@@ Property / author @@
-Jerzy Słupecki
@@ Property / author: Jerzy Słupecki / rank @@
-Normal rank
@@ Property / author @@
+Jerzy Słupecki
@@ Property / author: Jerzy Słupecki / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5813911
@@ Property / cites work: Q5813911 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5821423
@@ Property / cites work: Q5821423 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of rejected propositions. I
@@ Property / cites work: Theory of rejected propositions. I / rank @@
+Normal rank
@@ Property / cites work @@
+Ein erweiterter Klassenkalkül
@@ Property / cites work: Ein erweiterter Klassenkalkül / rank @@
+Normal rank