×

The density of truth in monadic fragments of some intermediate logics. (English) Zbl 1158.03017

Summary: This paper is an attempt to count the proportion of tautologies of some intermediate logics among all formulas. Our interest concentrates especially on Medvedev’s logic and its \(\{\to,\vee,\neg\}\)-fragment over a language with one propositional variable.

MSC:

03B55 Intermediate logics
03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Dummet M. (1954). A propositional calculus with a denumerable matrix. Journal of Symbolic Logic 24, 96–107
[2] Kostrzycka Z. (2003). On the density of truth in Dummet’s logic. Bulletin of the Section of Logic 32(1/2): 43–55 · Zbl 1032.03015
[3] Kostrzycka Z., Zaionc M. (2004). Statistics of intuitionistic versus classical logics. Studia Logica 76(3): 307–328 · Zbl 1049.03007 · doi:10.1023/B:STUD.0000032101.88511.93
[4] Levin L. (1979). Some syntactical theorems on the Yu. T. Medvedev’s calculus of finite problems. Doklady Academii Nauk SSSR (Soviet Mathematics, Doklady) 245, 1051–1054
[5] Moczurad M., Tyszkiewicz J., Zaionc M. (2000). Statistical properties of simple types. Mathematical Structures in Computer Science 10, 575–594 · Zbl 0966.03016 · doi:10.1017/S0960129599002959
[6] Szegö G. (1975). Orthogonal polynomials (4th ed). Providence: AMS, Colloquium Publications, 23. · Zbl 0305.42011
[7] Wilf, H. S. (1994). Generating functionology (2nd ed). Boston: Academic Press.
[8] Wojtylak P. (2004). On a problem of H. Friedman and its solution by T. Prucnal. Reports on Mathematical Logic 38, 69–86 · Zbl 1053.03017
[9] Zaionc M. (2005). On the asymptotic density of tautologies in logic of implication and negation. Reports on Mathematical Logic 39, 67–87 · Zbl 1098.03019
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.