On asymptotic divergency in equivalential logics
Zofia Kostrzycka · Mathematical Structures in Computer Science · 2007
In this paper we characterise the equivalential reducts of classical and intuitionistic logics over a language with two propositional variables. We then investigate the size of the fraction of the tautologies of these logics against all formulas. Some methods from complex analysis are used to achieve this goal.