The following pages link to First degree entailments (Q1131500):
Displayed 7 items.
- On AGM for non-classical logics (Q535331) (← links)
- Perfect validity, entailment and paraconsistency (Q1068812) (← links)
- Alternative semantics for quantified first degree relevant logic (Q1257474) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- Homomorphisms of intensionally complemented distributive lattices (Q2526962) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Intensional models for first degree formulas (Q5552158) (← links)