Atomic and molecular paraconsistent logics

Alexander S Karpenko


An unusual classification of paraconsistent logics is presented. The classification is based on the distinction between atomic and molecular paraconsistent logics. An example of a molecular paraconsistent logic with the property that |-¬A -> (¬¬A -> B) is given. Some difficulties connected with a definition of a paraconsistent logic are stressed.

Full Text:



  • There are currently no refbacks.