Pages that link to "Item:Q5737965"
From MaRDI portal
The following pages link to REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS (Q5737965):
Displaying 6 items.
- Eliminating disjunctions of leads-to properties (Q1318740) (← links)
- The disjunctive procedure and blocker duality (Q1613383) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207) (← links)
- Decomposing Quantified Conjunctive (or Disjunctive) Formulas (Q5506695) (← links)
- (Q5560261) (← links)