First-order logics of evidence and truth with constant and variable domains
From MaRDI portal
Publication:2084569
DOI10.1007/s11787-022-00306-8OpenAlexW4283364852MaRDI QIDQ2084569
Publication date: 18 October 2022
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-022-00306-8
Cites Work
- First degree entailments
- Constructivism in mathematics. An introduction. Volume II
- A semantical analysis of the calculi \(C_n\)
- 40 years of FDE: an introductory overview
- Paraconsistent logic, evidence, and justification
- Handbook of philosophical logic. Vol. 6
- Intuitive semantics for first-degree entailments and `coupled trees'
- An epistemic approach to paraconsistency: a logic of evidence and truth
- Valuation semantics for first-order logics of evidence and truth
- Paraconsistent logic: consistency, contradiction and negation
- On the theory of inconsistent formal systems
- Propositional calculus for contradictory deductive systems
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
- Paraconsistency and its Philosophical Interpretations
- Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
- How a Computer Should Think
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond
- Recovery operators, paraconsistency and duality
- Constructible falsity and inexact predicates
- Logics of Formal Inconsistency
- New Essays on Belnap-Dunn Logic
- On the Philosophy and Mathematics of the Logics of Formal Inconsistency
- On the strong semantical completeness of the intuitionistic predicate calculus
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: First-order logics of evidence and truth with constant and variable domains
