The following pages link to First degree entailments (Q1131500):
Displaying 24 items.
- Minimal change: relevance and recovery revisited (Q490421) (← links)
- 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)
- Pecularities of some three- and four-valued second order logics (Q1632057) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Paraconsistent logic, evidence, and justification (Q1685567) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- Paraconsistent inference relations induced from inconsistency measures (Q2105602) (← links)
- Truthmaker semantics for relevant logic (Q2194111) (← links)
- Homomorphisms of intensionally complemented distributive lattices (Q2526962) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- On the logic of factual equivalence (Q2804475) (← links)
- How a Computer Should Think (Q3305607) (← links)
- A Useful Four-Valued Logic (Q3305608) (← links)
- Game Theoretical Semantics for Paraconsistent Logics (Q3457682) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Game theoretical semantics for some non-classical logics (Q4586163) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- Intensional models for first degree formulas (Q5552158) (← links)
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic (Q6067099) (← links)
