Cucu, Ion V.
(Institutul de Matematică şi Informatică al AŞM, 2006)
We examine chain logicsC2, C3, . . . ,which are intermediary betweenclassical and intuitionistic logics. They are also the logics of pseudo-Boolean algebrasof type< Em,&,∨,⊃,¬>, whereEmis the chain 0< τ1< τ2<···< τm−2<1 ...