The deducibilities of S5 (Q1159660): Difference between revisions

@@ Property / author @@
-Jean Porte
@@ Property / author: Jean Porte / rank @@
-Normal rank
@@ Property / author @@
+Jean Porte
@@ Property / author: Jean Porte / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Modalities and Quantification
@@ Property / cites work: Modalities and Quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247123
@@ Property / cites work: Q3247123 / rank @@
+Normal rank
@@ Property / cites work @@
+Extendible sentential calculus
@@ Property / cites work: Extendible sentential calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A generalized theorem concerning a restricted rule of substitution in the field of propositional calculi
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for modal logics I
@@ Property / cites work: Algebraic semantics for modal logics I / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+On the scope of the classical deduction theorem
@@ Property / cites work: On the scope of the classical deduction theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616120
@@ Property / cites work: Q5616120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3272462
@@ Property / cites work: Q3272462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5724769
@@ Property / cites work: Q5724769 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5650677
@@ Property / cites work: Q5650677 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636854
@@ Property / cites work: Q5636854 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions of the Lewis system S5
@@ Property / cites work: Extensions of the Lewis system S5 / rank @@
+Normal rank
@@ Property / cites work @@
+Über die Regeln des Aussagenkalküls
@@ Property / cites work: Über die Regeln des Aussagenkalküls / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of connectives
@@ Property / cites work: The independence of connectives / rank @@
+Normal rank
@@ Property / cites work @@
+The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright
+Normal rank
@@ Property / cites work @@
+Ein erweiterter Klassenkalkül
@@ Property / cites work: Ein erweiterter Klassenkalkül / rank @@
+Normal rank
@@ Property / cites work @@
+Note on Rules of Inference
@@ Property / cites work: Note on Rules of Inference / rank @@
+Normal rank
@@ Property / cites work @@
+A note on deduction theorem for Gödel's propositional calculus G4
+Normal rank