Pages that link to "Item:Q4644571"
From MaRDI portal
The following pages link to Undecidable problems for propositional calculi with implication (Q4644571):
Displaying 12 items.
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Nondecidable intermediate calculus (Q786806) (← links)
- Implication of clauses is undecidable (Q1110493) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Undecidable iterative propositional calculus (Q2364331) (← links)
- The undecidability of propositional adaptive logic (Q2460176) (← links)
- Recursive unsolvability of a problem of expressibility in the logic of provability (Q2914598) (← links)
- The undecidability of entailment and relevant implication (Q3703869) (← links)
- (Q4399405) (← 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)
- (Q6060673) (← links)