Pages that link to "Item:Q2027207"
From MaRDI portal
The following pages link to Disjunctive and conjunctive multiple-conclusion consequence relations (Q2027207):
Displaying 12 items.
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Separating systems of conjunctions. (Q1130118) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Pivotal and Pivotal-discriminative Consequence Relations (Q3374098) (← links)
- A Proof of the Characterization Theorem for Consequence Relations (Q3474643) (← links)
- Two types of multiple-conclusion systems (Q4221770) (← links)
- (Q4648948) (← links)
- (Q4662883) (← links)
- Disjunctive Rule Lists (Q5060799) (← links)
- AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS (Q5381042) (← links)
- Reading conclusions conjunctively (Q6655117) (← links)