Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning
Jingde Cheng · 2006
Any anticipatory reasoning-reacting system needs a right fundamental logic system to provide a criterion of logical validity for reasoning as well as a formal representation and specification language. The fundamental logic should underlie truth-preserving and relevant reasoning in the sense of conditional, ampliative reasoning, paracomplete reasoning, paraconsistent reasoning, normative reasoning, and temporal reasoning. This paper proposes a new family of relevant logics, named "temporal deontic relevant logic," and shows that it is a hopeful candidate for the fundamental logic.