The following pages link to (Q4939409):
Displaying 11 items.
- Glivenko sequent classes in the light of structural proof theory (Q283115) (← links)
- Negative translations not intuitionistically equivalent to the usual ones (Q361872) (← links)
- Bounded linear-time temporal logic: a proof-theoretic investigation (Q764266) (← links)
- A note on the independence of premiss rule (Q2793909) (← links)
- Interpolation via translations (Q3184216) (← links)
- A Warning About Translating Axioms (Q3250595) (← links)
- (Q3412985) (← links)
- (Q4681897) (← links)
- (Q4906893) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604) (← links)