Pages that link to "Item:Q2746913"
From MaRDI portal
The following pages link to Describing a basis in semireduced form for inference rules of intuitionistic logic (Q2746913):
Displaying 6 items.
- Intermediate logics and Visser's rules (Q558441) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Admissible Rules of Lukasiewicz Logic (Q3553916) (← links)
- Canonical rules (Q3655251) (← links)
- (Q4487248) (← links)
- A(nother) characterization of intuitionistic propositional logic (Q5957911) (← links)