Pages that link to "Item:Q1820767"
From MaRDI portal
The following pages link to On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes (Q1820767):
Displaying 3 items.
- Canonical formulas for a paraconsistent analog of the Scott logic (Q431702) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
