On density of truth of the intuitionistic logic in one variable - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
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.59 Ko) 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

INSMI TDS-MACS
44 View
543 Download

Altmetric

Share

Gmail Facebook X LinkedIn More