The following pages link to (Q5187275):
Displaying 10 items.
- The foundation of a generic theorem prover (Q1823013) (← links)
- Denotational semantics for languages of epistemic grounding based on Prawitz's theory of grounds (Q2118969) (← links)
- Calculi of epistemic grounding based on Prawitz's theory of grounds (Q2144191) (← links)
- The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony (Q2259011) (← links)
- $$\boldsymbol{\forall }$$ and $$\boldsymbol{\omega }$$ (Q3299537) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← 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)
- Least and greatest fixed points in intuitionistic natural deduction (Q5958300) (← links)
