Statistics of intuitionistic versus classical logics (Q1826933): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 09:55, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Statistics of intuitionistic versus classical logics |
scientific article |
Statements
Statistics of intuitionistic versus classical logics (English)
0 references
6 August 2004
0 references
The authors consider the limit, when \(n\to\infty\), of the proportion of the number of true formulae of length \(n\) to the number of all formulae of this length, as the basic density measure of truth for the given logical system. The main, and quite interesting, result of this paper may be formulated as follows: the relative density of intuitionistic tautologies of the implication-negation one propositional variable fragment among classical ones is larger than \(93\%\).
0 references
classical propositional logic
0 references
asymptotic density of tautologies
0 references
probabilistic methods in logic
0 references
intuitionistic logic
0 references