On the Density of Truth of Locally Finite Logics
Zofia Kostrzycka · Journal of Logic and Computation · 2009
We prove that the density of truth exists for a large class of locally finite (locally 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.