Rasiowa-Harrop disjunction property (Q2363508): Difference between revisions

@@ Property / cites work @@
+Q2971275
@@ Property / cites work: Q2971275 / rank @@
+Normal rank
@@ Property / cites work @@
+Comments on predicative logic
@@ Property / cites work: Comments on predicative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Commuting conversions vs. the standard conversions of the ``good'' connectives
+Normal rank
@@ Property / cites work @@
+Atomic polymorphism
@@ Property / cites work: Atomic polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof
+Normal rank
@@ Property / cites work @@
+η-conversions of IPC implemented in atomic F
@@ Property / cites work: η-conversions of IPC implemented in atomic F / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3472080
@@ Property / cites work: Q3472080 / rank @@
+Normal rank