The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
type: Item
instance of: scholarly article
title: The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
zbMATH Open document ID: 1275.03054
author: Peter Schroeder-Heister
published in: Synthese
publication date: 2013-11-25T00:00:00Z
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6232165
zbMATH Keywords: consequence
zbMATH Keywords: inference
zbMATH Keywords: proof-theoretic semantics
zbMATH Keywords: definitional reflection
MaRDI profile type: Publication
full work available at URL: s11229-011-9910-z
OpenAlex ID: W2112738015
cites work: Sequent calculi for induction and infinite descent
cites work: Partial inductive definitions
cites work: On the proof-theoretic foundation of general definition theory
cites work: A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
cites work: Konstruktive Begründung der Mathematik
cites work: Q3229402
cites work: Lower bounds for increasing complexity of derivations after cut elimination
cites work: Formal Reductions of the General Combinatorial Decision Problem
cites work: Q5559220
cites work: Q4192055
cites work: A natural extension of natural deduction
cites work: Q4012888
cites work: Q4903811
cites work: Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
cites work: Implications-as-rules vs. implications-as-links: an alternative implication-left schema for the sequent calculus
cites work: Validity concepts in proof-theoretic semantics
cites work: Theory of Formal Systems. (AM-47)
cites work: Lower Bounds on Herbrand's Theorem
DOI: 10.1007/S11229-011-9910-Z
description: scientific article; zbMATH DE number 6232165