Pages that link to "Item:Q2364331"
From MaRDI portal
The following pages link to Undecidable iterative propositional calculus (Q2364331):
Displaying 10 items.
- Nondecidable intermediate calculus (Q786806) (← links)
- Implication of clauses is undecidable (Q1110493) (← links)
- Undecidable goals for completed acyclic programs (Q1326578) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Recursive unsolvability of a problem of expressibility in the logic of provability (Q2914598) (← links)
- An undecidable problem in correspondence theory (Q3984404) (← 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)
- Computer Science Logic (Q5311278) (← links)