Pages that link to "Item:Q1942043"
From MaRDI portal
The following pages link to Definitional reflection and basic logic (Q1942043):
Displaying 10 items.
- Anything goes (Q1708461) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- Generalized definitional reflection and the inversion principle (Q2470764) (← links)
- On the proof-theoretic foundation of general definition theory (Q2500816) (← links)
- Logics with definitional reflection rules (Q3133173) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)
- Grounding and defining identity (Q6645336) (← links)