Pages that link to "Item:Q4644570"
From MaRDI portal
The following pages link to On the number of variables in undecidable superintuitionistic propositional calculi (Q4644570):
Displaying 6 items.
- Number of prelocally table superintuitionistic propositional logics (Q1069926) (← links)
- One superintuitionistic calculus of propositions (Q1097259) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication (Q4644516) (← links)
- Undecidable problems for propositional calculi with implication (Q4644571) (← links)
- (Q5595146) (← links)