"We introduce the concept of a pre-logic which is an algebra weaker than a Hilbert algebra 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 ofA by the congruence induced by Q. We study algebraic properties of pre-logics and of lattices of their deductive systems."@en . "We introduce the concept of a pre-logic which is an algebra weaker than a Hilbert algebra 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 ofA by the congruence induced by Q. We study algebraic properties of pre-logics and of lattices of their deductive systems." . "157-175" . . "0139-9918" . . "Z(MSM 153100011)" . . . "Chajda, Ivan" . "19"^^ . . "[EF992D093CC2]" . . "SK - Slovensk\u00E1 republika" . . "15310" . . "Algebraic properties of pre-logics"@en . "RIV/61989592:15310/02:00001440!RIV/2003/MSM/153103/N" . . "Algebraic properties of pre-logics" . . . "Algebraic properties of pre-logics" . . "Mathematica Slovaca" . "52" . "RIV/61989592:15310/02:00001440" . . . . . "637772" . "2"^^ . "Algebraic properties of pre-logics"@en . "Hala\u0161, Radom\u00EDr" . "0"^^ . . "2"^^ . "Hilbert algebra; pre-logic; deductive system; ideal; annihilator"@en . "0"^^ . . "2" .