Conference Papers Discrete Mathematics and Theoretical Computer Science Year : 2008

On density of truth of the intuitionistic logic in one variable

Abstract

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.
Fichier principal
Vignette du fichier
dmAI0130.pdf (224) Télécharger le fichier
Origin Publisher files allowed on an open archive
Loading...

Dates and versions

hal-01194665 , version 1 (07-09-2015)

Identifiers

Cite

Zofia Kostrzycka. On density of truth of the intuitionistic logic in one variable. Fifth Colloquium on Mathematics and Computer Science, 2008, Kiel, Germany. pp.449-460, ⟨10.46298/dmtcs.3583⟩. ⟨hal-01194665⟩

Collections

TDS-MACS
55 View
754 Download

Altmetric

Share

More