Generalized definitional reflection and the inversion principle

DOI10.1007/s11787-007-0018-7zbMath1138.03044OpenAlexW1999915591MaRDI QIDQ2470764

Peter Schroeder-Heister

Publication date: 15 February 2008

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-007-0018-7

zbMATH Keywords

proof-theoretic semanticsdefinitional reflectioninversion principle

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07)

Related Items (11)

HARMONISING HARMONY ⋮ The explosion calculus ⋮ On Inversion Principles ⋮ a-Logic With Arrows ⋮ General-elimination stability ⋮ Speech acts, categoricity, and the meanings of logical connectives ⋮ General-Elimination Harmony and Higher-Level Rules ⋮ INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES ⋮ Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus ⋮ Steps towards a proof-theoretical semantics ⋮ CATEGORICAL HARMONY AND PATH INDUCTION

This page was built for publication: Generalized definitional reflection and the inversion principle