Reasoning about truth

DOI10.1016/0004-3702(89)90027-1MaRDI QIDQ908899zbMATH OpenOpenAlexDBLPWikidataFDO

Authors 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)

Recommendations

• Reasoning with truth
• How reasoning aims at truth
• Logics of truth
• Truth and Provability
• Truth and provability
• Reasoning about truth in first-order logic
• Truth and assertibility
• Truth from a proof-theoretic perspective
• scientific article; zbMATH DE number 4135907

Cites work

• scientific article; zbMATH DE number 4130375 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3989325 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• Accepting inconsistencies from the paradoxes
• Belief, awareness, and limited reasoning
• Introduction: Paraconsistent logics
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
• Languages with self-reference. II: Knowledge, belief, and modality
• Semantic closure
• Sense, entailment and modus ponens
• The logic of paradox

Cited in

(23)

• A postulate-driven study of logical argumentation
• scientific article; zbMATH DE number 18853 (Why is no real title available?)
• Four-valued paradefinite logics
• Finding explanations of inconsistency in multi-context systems
• Three-valued paraconsistent propositional logics
• A review of the relations between logical argumentation and reasoning with maximal consistency
• 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
• Truth and knowledge
• 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
• An approach to human-level commonsense reasoning
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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)