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.
Origin | Publisher files allowed on an open archive |
---|
Loading...