Density of tautologies in logics with one variable
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); nega...
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2012
|
| Sorozat: | Acta cybernetica
20 No. 3 |
| Kulcsszavak: | Számítástechnika, Kibernetika, Matematika |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.20.3.2012.2 |
| Online Access: | http://acta.bibl.u-szeged.hu/30837 |
| Tartalmi kivonat: | 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. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 385-398 |
| ISSN: | 0324-721X |