The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics (Q383070): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 03A05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6232165
@@ Property / zbMATH DE Number: 6232165 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+consequence
@@ Property / zbMATH Keywords: consequence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+inference
@@ Property / zbMATH Keywords: inference / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof-theoretic semantics
@@ Property / zbMATH Keywords: proof-theoretic semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+definitional reflection
@@ Property / zbMATH Keywords: definitional reflection / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-011-9910-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2112738015
@@ Property / OpenAlex ID: W2112738015 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent calculi for induction and infinite descent
+Normal rank
@@ Property / cites work @@
+Partial inductive definitions
@@ Property / cites work: Partial inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+On the proof-theoretic foundation of general definition theory
+Normal rank
@@ Property / cites work @@
+A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
+Normal rank
@@ Property / cites work @@
+Konstruktive Begründung der Mathematik
@@ Property / cites work: Konstruktive Begründung der Mathematik / rank @@
+Normal rank
@@ Property / cites work @@
+Q3229402
@@ Property / cites work: Q3229402 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for increasing complexity of derivations after cut elimination
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4192055
@@ Property / cites work: Q4192055 / 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 @@
+Q4012888
@@ Property / cites work: Q4012888 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4903811
@@ Property / cites work: Q4903811 / rank @@
+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 @@
+Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
+Normal rank
@@ Property / cites work @@
+Validity concepts in proof-theoretic semantics
@@ Property / cites work: Validity concepts in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Herbrand's Theorem
@@ Property / cites work: Lower Bounds on Herbrand's Theorem / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:383070