On the Density of Truth of Locally Finite Logics
We prove that the density of truth exists for a large c I ass of locally finite (local), tabular) propositional logics. We are primarily interested in classical and intuitionistic logic and show that their implicational fragments have the same density. There are also given some locally finite logics without the density of truth.
density of truth locally finite logics intuitionistic logic the lindenbaum algebras the drmota-lalley-woods theorem