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.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.