The following pages link to Lex Hendriks (Q1181712):
Displayed 7 items.
- Computations in fragments of intuitionistic propositional logic (Q1181713) (← links)
- Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic (Q1577480) (← links)
- Intuitionistic implication without disjunction (Q2893316) (← links)
- Intuitionistic propositional logic with only equivalence has no interpolation (Q4209298) (← links)
- (Q4347145) (← links)
- Characterization of strongly equivalent logic programs in intermediate logics (Q4452594) (← links)
- (Q4896508) (← links)