A Method for Constructing a Complex Hierarchical Logic (HS-Logic)
Vassil Sgurev · 2020
The paper proposes a method for constructing a complex hierarchical propositional logic, denoted as complex HS-logic. It combines two logics - real Lrwith two states and a new imaginary logic Liis introduced with two other states{i,¬i} not equivalent to {T, F}. Two additional requirements build a complex logic Lcwith four unequal to each other states {T, F, i,¬i}.