In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid - Archive ouverte HAL
Article Dans Une Revue Annals of Pure and Applied Logic Année : 2012

In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid

Résumé

We present a quantitative comparison of classical and intuitionistic logics, based on the notion of density, within the framework of several propositional languages. In the most general case - the language of the "full propositional system" - we prove that the fraction of intuitionistic tautologies among classical tautologies of size n tends to 5/8 when n goes to infinity. We apply two approaches, one with a bounded number of variables, and another, in which formulae are considered "up to the names of variables". In both cases, we obtain the same results. Our results for both approaches are derived in a unified way based on structural properties of formulae. As a by-product of these considerations, we present a characterization of the structures of almost all random tautologies.

Dates et versions

hal-00618303 , version 1 (01-09-2011)

Identifiants

Citer

Antoine Genitrini, Jakub Kozik. In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid. Annals of Pure and Applied Logic, 2012, 163 (7), pp.875-887. ⟨10.1016/j.apal.2011.09.011⟩. ⟨hal-00618303⟩
80 Consultations
0 Téléchargements

Altmetric

Partager

More