HARMONISING HARMONY (Q3195584): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020315000179
+Normal rank
@@ Property / OpenAlex ID @@
+W4238457905
@@ Property / OpenAlex ID: W4238457905 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3195584