The following pages link to (Q4731165):
Displaying 5 items.
- The method of axiomatic rejection for the intuitionistic propositional logic (Q750414) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Choice of primitives: A note on axiomatizing intuitionistic logic (Q2757960) (← links)
- Syntactic characterizations of completeness using duals and operators (Q2903761) (← links)
- Intuitionistic Socratic procedures (Q3647238) (← links)