Skip to main content
SpringerLink
Log in

The density of truth in monadic fragments of some intermediate logics

  • Original Article
  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

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 language with one propositional variable.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Dummet M. (1954). A propositional calculus with a denumerable matrix. Journal of Symbolic Logic 24, 96–107

    Google Scholar 

  • Kostrzycka Z. (2003). On the density of truth in Dummet’s logic. Bulletin of the Section of Logic 32(1/2): 43–55

    Google Scholar 

  • Kostrzycka Z., Zaionc M. (2004). Statistics of intuitionistic versus classical logics. Studia Logica 76(3): 307–328

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Moczurad M., Tyszkiewicz J., Zaionc M. (2000). Statistical properties of simple types. Mathematical Structures in Computer Science 10, 575–594

    Article  Google Scholar 

  • Szegö G. (1975). Orthogonal polynomials (4th ed). Providence: AMS, Colloquium Publications, 23.

  • Wilf, H. S. (1994). Generating functionology (2nd ed). Boston: Academic Press.

  • Wojtylak P. (2004). On a problem of H. Friedman and its solution by T. Prucnal. Reports on Mathematical Logic 38, 69–86

    Google Scholar 

  • Zaionc M. (2005). On the asymptotic density of tautologies in logic of implication and negation. Reports on Mathematical Logic 39, 67–87

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Technology, Luboszycka 3, 45-036, Opole, Poland

    Zofia Kostrzycka

Authors
  1. Zofia Kostrzycka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zofia Kostrzycka.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kostrzycka, Z. The density of truth in monadic fragments of some intermediate logics. J Log Lang Inf 16, 283–302 (2007). https://doi.org/10.1007/s10849-006-9030-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-006-9030-1

Keywords

Search

Navigation