Zofia Kostrzycka - On density of truth of the intuitionistic logic in one variable

dmtcs:3583 - Discrete Mathematics & Theoretical Computer Science, January 1, 2008, DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science - https://doi.org/10.46298/dmtcs.3583
On density of truth of the intuitionistic logic in one variableConference paper

Authors: Zofia Kostrzycka 1,2

  • 1 University of Technology
  • 2 Opole University of Technology


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.

https://doi.org/10.46298/dmtcs.3583
Source: HAL:hal-01194665v1
Volume: DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science
Section: Proceedings
Published on: January 1, 2008
Imported on: May 10, 2017
Keywords: [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [en] density of truth, intuitionistic logic

Share and export

Consultation statistics

This page has been seen 304 times.
This article's PDF has been downloaded 301 times.