Pages that link to "Item:Q2784452"
From MaRDI portal
The following pages link to Disjunctions of Horn theories and their cores (Q2784452):
Displaying 8 items.
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- On theories with the general disjunction property (Q995384) (← links)
- Normality of Horn theories with a nonmaximal spectrum (Q1086227) (← links)
- Characterization results for d-Horn formulas, or on formulas that are true on dual reduced products (Q2776457) (← links)
- (Q4945199) (← links)
- Disjunctive systems and L-Domains (Q5204324) (← links)
- On the difference of Horn theories (Q5929916) (← links)
- Matroid Horn functions (Q6187338) (← links)