Pages that link to "Item:Q4644516"
From MaRDI portal
The following pages link to Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication (Q4644516):
Displaying 11 items.
- Nondecidable intermediate calculus (Q786806) (← links)
- Implication of clauses is undecidable (Q1110493) (← links)
- Entailment is undecidable for symbolic heap separation logic formulæ with non-established inductive rules (Q2234797) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Undecidable iterative propositional calculus (Q2364331) (← links)
- The one variable implicational calculus (Q2560807) (← 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)
- Undecidable problems for propositional calculi with implication (Q4644571) (← links)
- (Q6060673) (← links)