بحث علمي

A syntactic characterization of Kleene's strong connectives with two designated values

Mathematical Logic Quarterly