DOAJ Open Access 2008

On density of truth of the intuitionistic logic in one variable

Zofia Kostrzycka

Lihat Sumber DOI

Abstrak

In this paper we focus on the intuitionistic propositional logic with one propositional variable. More precisely we consider the standard fragment $\{ \to ,\vee ,\bot \}$ of this logic and compute the proportion of tautologies among all formulas. It turns out that this proportion is different from the analog one in the classical logic case.

Topik & Kata Kunci

Mathematics

Penulis (1)

Zofia Kostrzycka

Format Sitasi

APA MLA BibTeX

Kostrzycka, Z. (2008). On density of truth of the intuitionistic logic in one variable. https://doi.org/10.46298/dmtcs.3583

Akses Cepat

Lihat di Sumber doi.org/10.46298/dmtcs.3583

Informasi Jurnal

Tahun Terbit: 2008
Sumber Database: DOAJ
DOI: 10.46298/dmtcs.3583
Akses: Open Access ✓