The following pages link to On fragments of Medvedev's logic (Q1165841):
Displaying 5 items.
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767) (← links)
- Complexity of intuitionistic propositional logic and its fragments (Q3643316) (← links)
