First degree entailments
From MaRDI portal
Publication:1131500
DOI10.1007/BF01471125zbMath0113.00402OpenAlexW2066458790MaRDI QIDQ1131500
A. R. Anderson, Nuel D. jun. Belnap
Publication date: 1963
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/161031
Related Items (24)
Intensional models for first degree formulas ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ Pecularities of some three- and four-valued second order logics ⋮ Limited reasoning in first-order knowledge bases ⋮ Game Theoretical Semantics for Paraconsistent Logics ⋮ Game theoretical semantics for some non-classical logics ⋮ 40 years of FDE: an introductory overview ⋮ Paraconsistent logic, evidence, and justification ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic ⋮ Truthmaker semantics for relevant logic ⋮ Neutral free logic: motivation, proof theory and models ⋮ Minimal change: relevance and recovery revisited ⋮ How a Computer Should Think ⋮ A Useful Four-Valued Logic ⋮ On AGM for non-classical logics ⋮ Processing Information from a Set of Sources ⋮ ON THE LOGIC OF FACTUAL EQUIVALENCE ⋮ Alternative semantics for quantified first degree relevant logic ⋮ Homomorphisms of intensionally complemented distributive lattices ⋮ Valuation semantics for first-order logics of evidence and truth ⋮ First-order logics of evidence and truth with constant and variable domains ⋮ Paraconsistent inference relations induced from inconsistency measures ⋮ Perfect validity, entailment and paraconsistency
Cites Work
- Unnamed Item
- Unnamed Item
- Untersuchungen über das logische Schliessen. I
- Independent Axiom Schemata for the Pure Theory of Entailment
- Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
- EQ and the First Order Functional Calculus
- A simple treatment of truth functions
- Entailment and relevance1
- Some theorems about the sentential calculi of Lewis and Heyting
This page was built for publication: First degree entailments
