Reasoning about truth

DOI10.1016/0004-3702(89)90027-1zbMATH Open0694.03021DBLPjournals/ai/Priest89OpenAlexW98418125WikidataQ56852426 ScholiaQ56852426MaRDI QIDQ908899

Graham Priest

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

zbMATH Keywords

paraconsistent logicPerlis constructionreasoning about truth

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence (68T99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The logic of paradox
• Belief, awareness, and limited reasoning
• Sense, entailment and modus ponens
• Languages with self-reference. II: Knowledge, belief, and modality
• Accepting inconsistencies from the paradoxes
• Introduction: Paraconsistent logics
• Semantic closure
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)

Cited In (22)

• A postulate-driven study of logical argumentation
• Four-valued paradefinite logics
• Title not available (Why is that?)
• Finding explanations of inconsistency in multi-context systems
• A review of the relations between logical argumentation and reasoning with maximal consistency
• An Approach to Human-Level Commonsense Reasoning
• Distance-based paraconsistent logics
• Interpreting disjunctive logic programs based on a strong sense of disjunction
• Handling inconsistency in knowledge systems
• Analysing inconsistent first-order knowledgebases
• Ideal paraconsistent logics
• The value of the four values
• Truth and Probability
• Resolving contradictions: A plausible semantics for inconsistent systems
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• A logic for reasoning with inconsistency
• Reasoning with different levels of uncertainty
• Recovering Consistency by Forgetting Inconsistency
• Nonmonotonic reasoning based on incomplete logic
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• Three-Valued Paraconsistent Propositional Logics
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Truth and provability 👍 👎
• Truth and Assertibility 👍 👎
• Truth and Provability 👍 👎
• Reasoning about truth in first-order logic 👍 👎
• Truth from a proof-theoretic perspective 👍 👎
• How Reasoning Aims at Truth 👍 👎
• Logics of truth 👍 👎
• Reasoning with truth 👍 👎

This page was built for publication: Reasoning about truth

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q908899)