The density of truth in monadic fragments of some intermediate logics

Journal of Logic, Language and Information 16 (3):283-302 (2007)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s10849-006-9030-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intermediate logics with the same disjunctionless fragment as intuitionistic logic.Plerluigi Minari - 1986 - Studia Logica 45 (2):207 - 222.
All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete.Camillo Fiorentini - 2000 - Journal of Symbolic Logic 65 (4):1576-1604.
On maximal intermediate predicate constructive logics.Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani & Pierangelo Miglioli - 1996 - Studia Logica 57 (2-3):373 - 408.
Counting the maximal intermediate constructive logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
On maximal intermediate logics with the disjunction property.Larisa L. Maksimova - 1986 - Studia Logica 45 (1):69 - 75.
Statistics of intuitionistic versus classical logics.Zofia Kostrzycka & Marek Zaionc - 2004 - Studia Logica 76 (3):307 - 328.

Analytics

Added to PP
2009-01-28

Downloads
39 (#408,642)

6 months
5 (#639,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
On the density of truth in Dummett's logic.Zofia Kostrzycka & Marek Zaionc - 2003 - Bulletin of the Section of Logic 32 (1):43-55.

Add more references