- 1.1k Downloads
The main purpose of this chapter is to introduce some classes of many-valued logics, namely the class of pure J logic (PJ logics) and two its subclasses: the class of finite pure J logics (FPJ logics) and the class of iterative versions of finite PJ logics.
KeywordsInference Rule State Logic Classical Logic Propositional Logic Iterative Version
Unable to display preview. Download preview PDF.