# 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.
Keywords :
Document type :
Conference papers
Domain :

Cited literature [12 references]

https://hal.inria.fr/hal-01194665
Contributor : Coordination Episciences Iam <>
Submitted on : Monday, September 7, 2015 - 12:50:48 PM
Last modification on : Wednesday, May 10, 2017 - 5:41:17 PM
Long-term archiving on: : Tuesday, December 8, 2015 - 12:53:14 PM

### File

dmAI0130.pdf
Publisher files allowed on an open archive

### Identifiers

• HAL Id : hal-01194665, version 1

### Citation

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. ⟨hal-01194665⟩

Record views