Generalized definitional reflection and the inversion principle
From MaRDI portal
Publication:2470764
DOI10.1007/s11787-007-0018-7zbMath1138.03044OpenAlexW1999915591MaRDI QIDQ2470764
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
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