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 {→,∨,⊥} 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: density of truth,intuitionistic logic,[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]

Share and export

Consultation statistics

This page has been seen 238 times.
This article's PDF has been downloaded 219 times.