Journal of Logic, Language and Information

, Volume 16, Issue 3, pp 283–302

The density of truth in monadic fragments of some intermediate logics

Original Article

DOI: 10.1007/s10849-006-9030-1

Cite this article as:
Kostrzycka, Z. J Log Lang Inf (2007) 16: 283. doi:10.1007/s10849-006-9030-1
  • 30 Downloads

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.

Keywords

Density of truthLinear logicMedvedev’s logicGenerating functions

Copyright information

© Springer Science+Business Media 2007

Authors and Affiliations

  1. 1.University of TechnologyOpolePoland