HARMONISING HARMONY (Q3195584): Difference between revisions

@@ Property / cites work @@
+Commuting conversions vs. the standard conversions of the ``good'' connectives
+Normal rank
@@ Property / cites work @@
+A note on harmony
@@ Property / cites work: A note on harmony / rank @@
+Normal rank
@@ Property / cites work @@
+Identity of Proofs Based on Normalization and Generality
+Normal rank
@@ Property / cites work @@
+Proof and Paradox
@@ Property / cites work: Proof and Paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization theorems for full first order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized definitional reflection and the inversion principle
+Normal rank
@@ Property / cites work @@
+A natural extension of natural deduction
@@ Property / cites work: A natural extension of natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+On Inversion Principles
@@ Property / cites work: On Inversion Principles / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226736
@@ Property / cites work: Q3226736 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
+Normal rank
@@ Property / cites work @@
+Q5623646
@@ Property / cites work: Q5623646 / rank @@
+Normal rank