HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+What are logical notions?
@@ Property / cites work: What are logical notions? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+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 @@
+Q5802120
@@ Property / cites work: Q5802120 / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+Harmony and autonomy in classical logic
@@ Property / cites work: Harmony and autonomy in classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Labelled propositional modal logics: theory and practice
+Normal rank
@@ Property / cites work @@
+Analytic natural deduction
@@ Property / cites work: Analytic natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Gentzen calculi for modal propositional logic
@@ Property / cites work: Gentzen calculi for modal propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+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 @@
+Konstruktive Begründung der Mathematik
@@ Property / cites work: Konstruktive Begründung der Mathematik / rank @@
+Normal rank
@@ Property / cites work @@
+HARMONIOUS RULES FOR IDENTITY
@@ Property / cites work: HARMONIOUS RULES FOR IDENTITY / rank @@
+Normal rank
@@ Property / cites work @@
+A note on harmony
@@ Property / cites work: A note on harmony / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001483
@@ Property / cites work: Q4001483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Concept of Following Logically
@@ Property / cites work: On the Concept of Following Logically / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020316000010
+Normal rank
@@ Property / OpenAlex ID @@
+W2269690510
@@ Property / OpenAlex ID: W2269690510 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5741620