First degree entailments
From MaRDI portal
Cites work
- A simple treatment of truth functions
- Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
- Entailment and relevance1
- EQ and the First Order Functional Calculus
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 3125693 (Why is no real title available?)
- Independent Axiom Schemata for the Pure Theory of Entailment
- Some theorems about the sentential calculi of Lewis and Heyting
- Untersuchungen über das logische Schliessen. I
Cited in
(29)- Perfect validity, entailment and paraconsistency
- Alternative semantics for quantified first degree relevant logic
- Limited reasoning in first-order knowledge bases
- Pecularities of some three- and four-valued second order logics
- 40 years of FDE: an introductory overview
- Paraconsistent logic, evidence, and justification
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- 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
- Truthmaker semantics for relevant logic
- Homomorphisms of intensionally complemented distributive lattices
- Neutral free logic: motivation, proof theory and models
- On the logic of factual equivalence
- How a Computer Should Think
- A useful four-valued logic
- Game theoretical semantics for paraconsistent logics
- Processing Information from a Set of Sources
- Game theoretical semantics for some non-classical logics
- Minimal change: relevance and recovery revisited
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- On AGM for non-classical logics
- Intensional models for first degree formulas
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
- Class theory in HYPE
- Conjunctive and disjunctive parts
- Variable domain first-order first-degree entailment and some of its children
- On universally free first-order extensions of Belnap-Dunn's four-valued logic and Nelson's paraconsistent logic \(N{4}\)
- Queries with exact truth values on concept and role atoms in paraconsistent description logics
This page was built for publication: First degree entailments
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1131500)
