Valuation semantics for first-order logics of evidence and truth
From MaRDI portal
Publication:2079711
DOI10.1007/s10992-022-09662-8OpenAlexW4283035049MaRDI QIDQ2079711
Abilio Rodrigues, H. Antunes, Marcelo E. Coniglio, Walter Alexandre Carnielli
Publication date: 30 September 2022
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2106.09850
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantic information and the correctness theory of truth
- First degree entailments
- Constructivism in mathematics. An introduction. Volume I
- A semantical analysis of the calculi \(C_n\)
- The Fregean axiom and Polish mathematical logic in the \(1920^s\)
- 40 years of FDE: an introductory overview
- 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
- Paraconsistent logic: consistency, contradiction and negation
- A paraconsistent logic programming approach for querying inconsistent databases
- On the theory of inconsistent formal systems
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY
- Formal inconsistency and evolutionary databases
- 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
- The Logic of Information
- Logics of Formal Inconsistency
- An expansion of first-order Belnap-Dunn logic
- New Essays on Belnap-Dunn Logic
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
This page was built for publication: Valuation semantics for first-order logics of evidence and truth
