Harmony in Proof-Theoretic Semantics: A Reductive Analysis (Q5213618): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-11041-7_15
+Normal rank
@@ Property / OpenAlex ID @@
+W186947099
@@ Property / OpenAlex ID: W186947099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751562
@@ Property / cites work: Q3751562 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Remarks on Proof-Theoretic Semantics
@@ Property / cites work: Some Remarks on Proof-Theoretic Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A note on harmony
@@ Property / cites work: A note on harmony / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. II
@@ Property / cites work: Untersuchungen über das logische Schliessen. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3229402
@@ Property / cites work: Q3229402 / rank @@
+Normal rank
@@ Property / cites work @@
+ON FLATTENING ELIMINATION RULES
@@ Property / cites work: ON FLATTENING ELIMINATION RULES / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5632554
@@ Property / cites work: Q5632554 / rank @@
+Normal rank
@@ Property / cites work @@
+General-elimination harmony and the meaning of the logical constants
+Normal rank
@@ Property / cites work @@
+General-Elimination Harmony and Higher-Level Rules
+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 @@
+Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
+Normal rank
@@ Property / cites work @@
+Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
+Normal rank
@@ Property / cites work @@
+Q3941377
@@ Property / cites work: Q3941377 / rank @@
+Normal rank