Density of tautologies in logics with one variable

Aszalós, László and Herendi, Tamás: Density of tautologies in logics with one variable. In: Acta cybernetica, (20) 3. pp. 385-398. (2012)

Cikk, tanulmány, mű

Download (323kB) | Preview


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.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2012
Volume: 20
Number: 3
ISSN: 0324-721X
Page Range: pp. 385-398
Language: angol
Uncontrolled Keywords: Természettudomány, Matematika
Additional Information: Bibliogr.: p. 397-398. és a lábjegyzetekben; Abstract
Date Deposited: 2016. Oct. 17. 10:38
Last Modified: 2018. Jun. 05. 14:27

Actions (login required)

View Item View Item