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

← Older edit

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ 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
@@ Property / Recommended article @@
+Proof-theoretic harmony: towards an intensional account
+Normal rank
+Similarity Score: 0.932159Amount 0.932159
Unit 1
-Amount
+.932159
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On the equivalence conjecture for proof-theoretic harmony
+Normal rank
+Similarity Score: 0.90959024Amount 0.90959024
Unit 1
-Amount
+.90959024
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
+Normal rank
+Similarity Score: 0.9018048Amount 0.9018048
Unit 1
-Amount
+.9018048
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
+Normal rank
+Similarity Score: 0.8876344Amount 0.8876344
Unit 1
-Amount
+.8876344
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
+Normal rank
+Similarity Score: 0.87913805Amount 0.87913805
Unit 1
-Amount
+.87913805
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Some Remarks on Proof-Theoretic Semantics
+Normal rank
+Similarity Score: 0.87189555Amount 0.87189555
Unit 1
-Amount
+.87189555
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5197384
@@ Property / Recommended article: Q5197384 / rank @@
+Normal rank
@@ Property / Recommended article: Q5197384 / qualifier @@
+Similarity Score: 0.8696763Amount 0.8696763
Unit 1
-Amount
+.8696763
 Unit
@@ Property / Recommended article: Q5197384 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Steps towards a proof-theoretical semantics
+Normal rank
+Similarity Score: 0.86562085Amount 0.86562085
Unit 1
-Amount
+.86562085
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+On reduction rules, meaning-as-use, and proof-theoretic semantics
+Normal rank
+Similarity Score: 0.8616526Amount 0.8616526
Unit 1
-Amount
+.8616526
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A semantical view of proof systems
@@ Property / Recommended article: A semantical view of proof systems / rank @@
+Normal rank
@@ Property / Recommended article: A semantical view of proof systems / qualifier @@
+Similarity Score: 0.8598593Amount 0.8598593
Unit 1
-Amount
+.8598593
 Unit
@@ Property / Recommended article: A semantical view of proof systems / qualifier @@
+Recommender Run: Recommender Run 2