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

@@ 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