Pages that link to "Item:Q5635427"
From MaRDI portal
The following pages link to The decidability of the Kreisel-Putnam system (Q5635427):
Displayed 14 items.
- Structural connections between a forcing class and its modal logic (Q498994) (← links)
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- On fragments of Medvedev's logic (Q1165841) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- Recognizability of all WIP-minimal logics (Q1642315) (← links)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947) (← links)
- Some results on the intermediate logics (Q2557689) (← links)
- On maximal intermediate predicate constructive logics (Q2563458) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)