Geodesic
On density of truth of the intuitionistic logic in one variable
Discrete mathematics & theoretical computer science, DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science, DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science (2008).

Voir la notice de l'article provenant de la source Episciences

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. 
@article{DMTCS_2008_special_254_a29,
     author = {Kostrzycka, Zofia},
     title = {On density of truth of the intuitionistic logic in one variable},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science},
     year = {2008},
     doi = {10.46298/dmtcs.3583},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3583/}
}
TY  - JOUR
AU  - Kostrzycka, Zofia
TI  - On density of truth of the intuitionistic logic in one variable
JO  - Discrete mathematics & theoretical computer science
PY  - 2008
VL  - DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3583/
DO  - 10.46298/dmtcs.3583
LA  - en
ID  - DMTCS_2008_special_254_a29
ER  - 
%0 Journal Article
%A Kostrzycka, Zofia
%T On density of truth of the intuitionistic logic in one variable
%J Discrete mathematics & theoretical computer science
%D 2008
%V DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3583/
%R 10.46298/dmtcs.3583
%G en
%F DMTCS_2008_special_254_a29
Kostrzycka, Zofia. On density of truth of the intuitionistic logic in one variable. Discrete mathematics & theoretical computer science, DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science, DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science (2008). doi : 10.46298/dmtcs.3583. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3583/

Cité par Sources :