Statistics of intuitionistic versus classical logics (Q1826933): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Branislav R. Boričić / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Branislav R. Boričić / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1023/b:stud.0000032101.88511.93 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2025385225 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 09:50, 30 July 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
