Pages that link to "Item:Q2470764"
From MaRDI portal
The following pages link to Generalized definitional reflection and the inversion principle (Q2470764):
Displaying 11 items.
- General-elimination stability (Q526738) (← links)
- The explosion calculus (Q2186694) (← links)
- Speech acts, categoricity, and the meanings of logical connectives (Q2258539) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- HARMONISING HARMONY (Q3195584) (← links)
- On Inversion Principles (Q3518563) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- General-Elimination Harmony and Higher-Level Rules (Q5213616) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- a-Logic With Arrows (Q5403474) (← links)
