Reasoning formalism in Boolean operator fuzzy logic (Q1906598)

Based on the newly introduced concepts of true-level and false-level, the formal structure of reasoning in Boolean operator fuzzy logic is presented. As a generalization of the theory of epistemic processes in open logic, another formalism is proposed to describe human reasoning with uncertain, inconsistent and insufficient knowledge, which can characterize knowledge increment and revision, as well as epistemic evolution.