The following pages link to Proof Analysis (Q3114184):
Displayed 9 items.
- ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- On counting propositional logic and Wagner's hierarchy (Q6100184) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic (Q6115851) (← links)
- Labelled calculi for the logics of rough concepts (Q6132579) (← links)
- Is, ought, and cut (Q6166130) (← links)
- A Kripke Semantics for Hajek's BL (Q6196499) (← links)