A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
For the given logical calculus we investigate the size of the fraction of true formulas of a certain length n against the number of all formulas of this length. We are especially interested in asymptotic behaviour of this fraction when n tends to infinity. If the limit of the fraction exists it represents a number which we call the density of truth for the investigated logic. In this paper we apply this approach to the Dummett intermediate linear logic (see  ). This paper shows the exactdoi:10.1093/logcom/exp034 fatcat:6lfuzsau4ne37mn2x3dfm32x4i