Statistics of implicational logic

Electronic Notes in Theoretical Computer Science

Volumn 84, Issue , 2003, Pages 205-216

  Zaionc, Marek ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ASYMPTOTIC STABILITY; COMBINATORIAL MATHEMATICS; FUZZY SETS; LOGIC PROGRAMMING; PROBABILITY; PROBLEM SOLVING; STATISTICS;

ASYMPTOTIC PROBABILITIES; CLASSICAL LOGICS; FUZZY ALGORITHMS;

FORMAL LOGIC;

EID: 18944394749     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80856-9     Document Type: Conference Paper

References (8)

1. Comtet L., "Advanced combinatorics. The art of finite and infinite expansions," Revised and enlarged edition, Reidel, Dordrecht. (1974).
2. Flajolet P., Sedgewick R. "Analitic combinatorics, symbolic combinatorics," unpublished, see http://algo.inria.fr/flajolet/ Publications/books.html
3. Moczurad M., Tyszkiewicz J., Zaionc M. Statistical properties of simple types. Mathematical Structures in Computer Science. 10:2000;575-594
4. Robins H. 1955 A remark on Stirling formula. Ammer. Math. Monthly. 62:1995;26-29
5. Szegö G. "Orthogonal polynomials" Fourth edition. 23:1975;AMS, Colloquium Publications, Providence
6. Wilf H.S. "Generatingfunctionology" Second edition :1994;Academic Press, Boston
7. Zaionc, M. On the asymptotic density of tautologies in logic of implication and negation, submitted, (see at http://www.ii.uj.edu.pl/~zaionc/ papers.html
8. Kostrzycka M., Zaionc M., Statistics of intuitionistic versus classical logics, accepted in Studia Logica.