The following pages link to On Inversion Principles (Q3518563):
Displaying 16 items.
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- On harmony and permuting conversions (Q518743) (← links)
- General-elimination stability (Q526738) (← links)
- General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
- Classical harmony and separability (Q2055927) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- Steps towards a proof-theoretical semantics (Q2339008) (← links)
- Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
- HARMONISING HARMONY (Q3195584) (← links)
- INVERSION BY DEFINITIONAL REFLECTION AND THE ADMISSIBILITY OF LOGICAL RULES (Q3644805) (← links)
- Inversion Principles and Introduction Rules (Q5213611) (← links)
- Meaning in Use (Q5213613) (← links)
- Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus (Q5251184) (← links)
- HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY (Q5741620) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
- Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
