Reasoning about truth
From MaRDI portal
Publication:908899
DOI10.1016/0004-3702(89)90027-1zbMath0694.03021OpenAlexW98418125WikidataQ56852426 ScholiaQ56852426MaRDI QIDQ908899
Publication date: 1989
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0004-3702(89)90027-1
Related Items (20)
Resolving contradictions: A plausible semantics for inconsistent systems ⋮ Analysing inconsistent first-order knowledgebases ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Four-valued paradefinite logics ⋮ A postulate-driven study of logical argumentation ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ Ideal paraconsistent logics ⋮ Recovering Consistency by Forgetting Inconsistency ⋮ Finding explanations of inconsistency in multi-context systems ⋮ Nonmonotonic reasoning based on incomplete logic ⋮ An Approach to Human-Level Commonsense Reasoning ⋮ A logic for reasoning with inconsistency ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ Distance-based paraconsistent logics ⋮ A review of the relations between logical argumentation and reasoning with maximal consistency ⋮ Handling inconsistency in knowledge systems ⋮ The value of the four values ⋮ Reasoning with different levels of uncertainty ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Interpreting disjunctive logic programs based on a strong sense of disjunction
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Accepting inconsistencies from the paradoxes
- Semantic closure
- Introduction: Paraconsistent logics
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
- Belief, awareness, and limited reasoning
- Languages with self-reference. II: Knowledge, belief, and modality
- Sense, entailment and modus ponens
- The logic of paradox
This page was built for publication: Reasoning about truth