The following pages link to Olim Frits Tuyt (Q2157602):
Displayed 6 items.
- Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions (Q2157603) (← links)
- The structure of finite commutative idempotent involutive residuated lattices (Q2238026) (← links)
- The one-variable fragment of corsi logic (Q2303581) (← links)
- One-variable fragments of intermediate logics over linear frames (Q2672661) (← links)
- (Q5104720) (← links)
- The structure of finite commutative idempotent involutive residuated lattices (Q6346044) (← links)