Pages that link to "Item:Q4209298"
From MaRDI portal
The following pages link to Intuitionistic propositional logic with only equivalence has no interpolation (Q4209298):
Displaying 4 items.
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- On the problem of R. E. Tax (Q2772905) (← links)
- Intuitionistic implication without disjunction (Q2893316) (← links)
- Interpolation in fragments of intuitionistic propositional logic (Q3486539) (← links)