Probability distribution for simple tautologies

Theoretical Computer Science

Volumn 355, Issue 2, 2006, Pages 243-260

  Zaionc, Marek ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

Asymptotic probability in logic

Indexed keywords

PROBABILITY DISTRIBUTIONS; RANDOM PROCESSES;

ASYMPTOTIC PROBABILITY IN LOGIC; RANDOM LOGICAL SENTENCES;

FORMAL LOGIC;

EID: 33644923012     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.01.002     Document Type: Article

References (8)

1. L. Comtet, Advanced combinatorics, The Art of Finite and Infinite Expansions, revised and enlarged ed., Reidel, Dordrecht, 1974.
2. M. Harris Counting satisfiable k -cnf formulas Lecture Notes Comput. Sci. 2239 2001 765
3. Z. Kostrzycka, and M. Zaionc Statistics of intuitionistic versus classical logics Studia Logica 76 3 2004 307 328
4. M. Moczurad, J. Tyszkiewicz, and M. Zaionc Statistical properties of simple types Math. Struct. Comput. Sci. 10 2000 575 594
5. H. Robbins A remark on Stirling's formula Amer. Math. Monthly 62 1955 26 29
6. G. Szegö, Orthogonal Polynomials, fourth ed., Vol. 23, AMS, Colloquium Publications, Providence, RI, 1975.
7. H.S. Wilf Generatingfunctionology second ed. 1994 Academic Press Boston
8. M. Zaionc On the asymptotic density of tautologies in logic of implication and negation Rep. Math. Logic 39 2004