Definitional reflection and basic logic

DOI10.1016/j.apal.2012.10.010zbMath1263.03052OpenAlexW2104615089MaRDI QIDQ1942043

Peter Schroeder-Heister

Publication date: 15 March 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.10.010

zbMATH Keywords

sequent calculusbasic logicproof-theoretic semanticsdefinitional reflection

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES ⋮ Anything goes ⋮ The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony ⋮ On the proof-theoretic foundation of general definition theory ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI

This page was built for publication: Definitional reflection and basic logic