论文部分内容阅读
In this paper we use a non-classical logic called ParaQuantum Logic (PQL) which is based on the foundations of the Paraconsistent Annotated logic with annotation of two values (PAL2v). The formalizations of the PQL concepts, which is represented by a latt