3 research outputs found

    Density of tautologies in logics with one variable

    Get PDF
    In the present paper we estimate the ratio of the number of tautologies and the number of formulae of length n by determining the asymptotic density of tautologies in different kinds of logics with one variable. The logics under consideration are the ones with a single connective (nand or nor); negation with a connective (disjunction or conjunction); and several connectives

    Acta Cybernetica : Volume 20. Number 3.

    Get PDF
    corecore