The following pages link to (Q4981450):
Displaying 5 items.
- Glivenko sequent classes in the light of structural proof theory (Q283115) (← links)
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- (Q4268451) (← links)
- A generalization of a conservativity theorem for classical versus intuitionistic arithmetic (Q4458699) (← links)
- CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC (Q6180604) (← links)