Theory of rejected propositions. I (Q2557697): 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 @@
+Q5658069
@@ Property / cites work: Q5658069 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on formalized proof and consequence
@@ Property / cites work: Remarks on formalized proof and consequence / 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 @@
+A variant of the proof of the completeness of the first order functional calculus
+Normal rank
@@ Property / cites work @@
+On the classical logic of names
@@ Property / cites work: On the classical logic of names / rank @@
+Normal rank
@@ Property / cites work @@
+On proofs of rejection
@@ Property / cites work: On proofs of rejection / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations
+Normal rank