On the density of truth of locally finite logics (Q3656767)
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 5658005
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the density of truth of locally finite logics |
scientific article; zbMATH DE number 5658005 |
Statements
On the Density of Truth of Locally Finite Logics (English)
0 references
14 January 2010
0 references
density of truth
0 references
locally finite logics
0 references
Lindenbaum algebras
0 references
intuitionistic logic
0 references
classical propositional logic
0 references
implicational fragments
0 references
Drmota-Lalley-Woods theorem
0 references
0.828181803226471
0 references
0.8276379108428955
0 references
0.8218463063240051
0 references
0.8184612989425659
0 references
