Pages that link to "Item:Q2259003"
From MaRDI portal
The following pages link to Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003):
Displaying 8 items.
- Nondecidable intermediate calculus (Q786806) (← links)
- One superintuitionistic calculus of propositions (Q1097259) (← links)
- Deciding simple infinity axiom sets with one binary relation by means of superpostulates (Q2096446) (← links)
- Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication (Q4644516) (← links)
- On the number of variables in undecidable superintuitionistic propositional calculi (Q4644570) (← links)
- Undecidable problems for propositional calculi with implication (Q4644571) (← links)
- (Q5595146) (← links)
- (Q6060673) (← links)