The following pages link to (Q2767023):
Displaying 9 items.
- Gentzen-type formulation of the propositional logic LQ (Q1111545) (← links)
- On propositional quantifiers in provability logic (Q1317986) (← links)
- 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)
- (Q2721191) (← links)
- COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX (Q4899968) (← links)
- (Q4944902) (← links)
- (Q5101338) (← links)