, Volume 16, Issue 3, pp 283-302

The density of truth in monadic fragments of some intermediate logics

Purchase on Springer.com

$39.95 / €34.95 / £29.95*

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

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.