On the density of truth of implicational parts of intuitionistic and classical logics

Journal of Applied Non-Classical Logics

Volumn 13, Issue 3-4, 2003, Pages 391-421

  Kostrzycka, Zofia ^a  

^a OPOLE UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

Density; Generating functions; Linear logic

Indexed keywords

EID: 54249107278     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.13.391-421     Document Type: Article

References (9)

1. [Com 74] Comtet L., Advanced Combinatorics. The Art Of Finite And Infinite Expansions, Reidel, Dordrecht, 1974.
2. [Dum 54] Dummett M., "A Propositional Calculus With A Denumerable Matrix", Journal Of Symbolic Logic, Vol. 24, 1954, P. 96-107.
3. [Kos 04] Kostrzycka Z., Zaionc M., "Statistics Of Intuitionistic Versus Classical Logics", Studia Logica, Vol. 76, 2004, (To Appear).
4. [Krz 77] Krzystek P., "On The Free Relatively Pseudocomplemented Semilattice With Three Generators", Reports On Mathematical Logic, Vol. 9, 1977, P. 31-38.
5. [Moc 00] Moczurad M., Tyszkiewicz J., Zaionc M., "Statistical Properties Of Simple Types", Mathematical Structures In Computer Science, Vol. 10, 2000, P. 575-594.
6. [Rob 55] Robins H., "A Remark On Stirling Formula", Ammer.Math. Monthly, Vol. 62, 1955, P. 26-29.
7. [Sze 75] Szegö G., Orthogonal Polynomials, Vol. 23, Colloquium Publications, Providence, 1975.
8. [Wil 94] Wilf H., Generatingfunctionology, Academic Press, Boston, Second Edition Edition, 1994.
9. [Zai 04] Zaionc M., "On The Asymptotic Density Of Tautologies In Logic Of Implication And Negation", Reports On Mathematical Logic, Vol. -, 2004, (To Appear).