Propositional Logic

  • Oleg M. AnshakovEmail author
  • Tamás Gergely
Part of the Cognitive Technologies book series (COGTECH)


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.


Inference Rule State Logic Classical Logic Propositional Logic Iterative Version 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  1. 1.Intelligent Systems DepartmentInstitute for Linguistics, Russian State University for the HumanitiesMoscowRussia
  2. 2.Applied Logic LaboratoryBudapestHungary

Personalised recommendations