Pages that link to "Item:Q2987737"
From MaRDI portal
The following pages link to A system for proper multiple-conclusion entailment (Q2987737):
Displaying 8 items.
- Deduction and reduction theorems for inferential erotetic logic (Q1743997) (← links)
- Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- An axiomatic account of question evocation: the propositional case (Q2422531) (← links)
- IEL-based Formal Dialogue System for Tutorials (Q4568329) (← links)
- Generalized Entailments (Q4568330) (← links)
- CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC (Q5027673) (← links)
- Disjunctive Multiple-Conclusion Consequence Relations (Q5126201) (← links)
