ALGEBRAIC PROPERTIES OF PRE-LOGICS
Ivan Chajda, Radomír Halaš · Czech digital mathematics library · 2002
We introduce the concept of a pre-logic which is an algebra weaker than a Hilbert algebra (an algebraic counterpart of intuitionistic logic) but strong enough to have deductive systems.On every such a pre-logic A a quasiorder Q can be defined and a Hilbert algebra can be reached as a quotient algebra of .A by the congruence induced by Q.We study algebraic properties of pre-logics and of lattices of their deductive systems.