The density of truth in monadic fragments of some intermediate logics

  • Authors:

  • Zofia Kostrzycka

  • Affiliations:

  • University of Technology, Opole, Poland 45-036

  • Venue:
  • Journal of Logic, Language and Information
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

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.