Density of Tautologies in Logics with One Variable

László Aszalós, Tamás Herendi. Density of Tautologies in Logics with One Variable. Acta Cybern., 20(3):385-398, 2012. [doi]

Abstract

Abstract is missing.