In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid (Q408542)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6022771
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid |
scientific article; zbMATH DE number 6022771 |
Statements
In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid (English)
0 references
10 April 2012
0 references
propositional formulae
0 references
tautologies
0 references
asymptotic density
0 references
intuitionistic logic
0 references
analytic combinatorics
0 references
0.914112389087677
0 references
0.8783842325210571
0 references
0.8707789182662964
0 references
0.8478846549987793
0 references
0.8242760300636292
0 references
