Pages that link to "Item:Q2793909"
From MaRDI portal
The following pages link to A note on the independence of premiss rule (Q2793909):
Displaying 5 items.
- On the independence of premiss axiom and rule (Q2204366) (← links)
- Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Q4608557) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
