On the Lattice of p-Consequences
Szymon Frankowski · Reports on Mathematical Logic · 2010
This paper is devoted to investigation of the lattice properties of p-consequences. Our main goal is to compare the algebraic features of the lattices composed of all p-consequences and all consequence operations defined on the same propositional language.