The following pages link to (Q2767023):
Displayed 5 items.
- Ten problems in Gödel logic (Q1699740) (← links)
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) (Q1826435) (← links)
- First-order Gödel logics (Q2370370) (← links)
- COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX (Q4899968) (← links)
- (Q5101338) (← links)