Pages that link to "Item:Q3644805"
From MaRDI portal
The following pages link to INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805):
Displaying 4 items.
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Generalized definitional reflection and the inversion principle (Q2470764) (← links)
- Failure of completeness in proof-theoretic semantics (Q2516584) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)