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


zbMATH Keywords

mathematical logic



Related Items

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1131500&oldid=13181165"
Powered by MediaWiki