Density of tautologies in logics with one variable

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

[img] Cikk, tanulmány, mű
actacyb_20_3_2012_2.pdf

Download (323kB)

Abstract

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
Page Range: pp. 385-398
ISSN: 0324-721X
Language: angol
DOI: https://doi.org/10.14232/actacyb.20.3.2012.2
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
URI: http://acta.bibl.u-szeged.hu/id/eprint/30837

Actions (login required)

View Item View Item