Marek Zaionc On the Asymptotic Density of Tautologies in Logic of Implication and Negation. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 2005, v:39, n:, pp:67-87 [Journal]
M. B. Lattanzi (n+1)-bounded Wajsberg Algebras with a U-operator. [Citation Graph (0, 0)][DBLP] Reports on Mathematical Logic, 2005, v:39, n:, pp:89-111 [Journal]