Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01194665
Contributor : Coordination Episciences Iam Connect in order to contact the contributor
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

Collections

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, ⟨10.46298/dmtcs.3583⟩. ⟨hal-01194665⟩

Share

Metrics

Record views

43

Files downloads

429