Logic of classical refutability and class of extensions of minimal logic

Sergei Pavlovich Odintsov · Logic and Logical Philosophy · 2004

This article continues the investigation of paraconsistent extensions of minimal logic Lj started in [6, 7]. The name “logic of classical refutability” is taken from the H.Curry monograph [1], where it denotes the logic Le obtained from Lj by adding the Peirce law.

Read the paper · More papers on PaperTik