First degree entailments
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 3125693 (Why is no real title available?)
- A simple treatment of truth functions
- Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
- EQ and the First Order Functional Calculus
- Entailment and relevance1
- 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
(24)- Intensional models for first degree formulas
- A useful four-valued logic
- Truthmaker semantics for relevant logic
- Paraconsistent inference relations induced from inconsistency measures
- Processing Information from a Set of Sources
- Limited reasoning in first-order knowledge bases
- Pecularities of some three- and four-valued second order logics
- Paraconsistent logic, evidence, and justification
- Game theoretical semantics for some non-classical logics
- Alternative semantics for quantified first degree relevant logic
- Homomorphisms of intensionally complemented distributive lattices
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- Game theoretical semantics for paraconsistent logics
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Minimal change: relevance and recovery revisited
- On AGM for non-classical logics
- On the logic of factual equivalence
- How a Computer Should Think
- Valuation semantics for first-order logics of evidence and truth
- 40 years of FDE: an introductory overview
- Neutral free logic: motivation, proof theory and models
- First-order logics of evidence and truth with constant and variable domains
- Perfect validity, entailment and paraconsistency
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)
