k-transforms in classical and paraconsistent logics
Newton C. A. da Costa, Roque da C. Caiero · Logic and Logical Philosophy · 2004
We study some metamathematical properties of various classical and paraconsistent logical systems. In particular, we discuss the concept of a k-transform of a formula and consider some of its applications.