A Minimal Temporal Logic with Multiple Fuzzy Truth-Values
Xinyu Li,Xudong Luo,Jinsheng Chen
DOI: https://doi.org/10.1007/978-3-319-62698-7_30
2017-01-01
Abstract:Temporal logic is a very important branch of non-classical logic, systematically studying formal reasoning over time, which actually is a kind of modal logic with the truth-value set of \(\{0,1\}\). However, in real life, propositions that concern with tense are not always absolutely true or false. To this end, this paper fuzzifies the minimal temporal logic system. Specifically, we fuzzify propositions’ truth values to six fuzzy linguistic truth values, and thus we build a new multi-valued temporal logic system. We also prove the completeness and soundness of our logic system. In addition, we illustrate our system by a real life example.