Theory of Truth Degrees in 3-Valued Propositional Pre-rough Logic
Yingcang Ma
Abstract
Yingcang Ma
Abstract
By means of the function induced by a logical formula A, the truth degree’s concept of a logical formula A in the 3-valued pre-rough logic is introduced in this paper. Moreover, truth degree MP rules and truth degree HS rules are given. Lastly, we prove that the set of truth degrees is dense in [0;1]. The results of the paper enrich the studies of 3-valued pre-rough logic.
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
By means of the function induced by a logical formula A, the truth degree’s concept of a logical formula A in the 3-valued pre-rough logic is introduced in this paper. Moreover, truth degree MP rules and truth degree HS rules are given. Lastly, we prove that the set of truth degrees is dense in [0;1]. The results of the paper enrich the studies of 3-valued pre-rough logic.
Key concepts: Propositional calculus, Propositional variable, Computer science, Propositional formula, Zeroth-order logic, Autoepistemic logic, Mathematics, Well-formed formula