On asymptotic divergency in equivalential logics

Mathematical Structures in Computer Science

Volumn 18, Issue 2, 2008, Pages 311-324

  Kostrzycka, Zofia ^a  

^a OPOLE UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC;

EQUIVALENTIAL LOGICS; TAUTOLOGIES;

ASYMPTOTIC ANALYSIS;

EID: 40549091257     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129507006391     Document Type: Article

References (11)

1. Flajolet, P. and Odlyzko, A. S. (1990) Singularity analysis of generating functions. SIAM J. on Discrete Math, 3 (2) 216-240.
2. Flajolet, P. and Sedgewick, R. (2001) Analytic combinatorics: functional equations, rational and algebraic functions. INRIA, Number 4103.
3. Kostrzycka, Z. (2003) On the density of implicational parts of intuitionistic and classical logics. Journal of Applied Non-Classical Logics 13 (3) 295-325.
4. Kostrzycka, Z. and Zaionc, M. (2004) Statistics of intuitionistic versus classical logics. Studia Logica 76 307-328.
5. Matecki, G. (2005) Asymptotic density for equivalence. Electronic Notes in Theoretical Computer Science 140 81-91.
6. Moczurad, M., Tyszkiewicz, J. and Zaionc, M. (2000) Statistical properties of simple types. Mathematical Structures in Computer Science 10 575-594.
7. Siomczynska, K. (1996) Equivalential algebras. Part I: Representation. Algebra Universalis 35 524-547.
8. Szegö, G. (1975) Orthogonal polynomials, Fourth edition, AMS Colloquium Publications 23.
9. Wilf, H. S. (1994) Generating functionology, Second edition, Academic Press.
10. Wroński, A. (1993) On the free equivalential algebras with three generators. Bulletin of the Section of Logic 22 37-39.
11. Zaionc, M. (2004) On the asymptotic density of tautologies in logic of implication and negation. Reports on Mathematical Logic 38.