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 <>
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

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

Share

Metrics

Record views

81

Files downloads

617