. . "Order algebras"@en . . . "Order algebras" . "To every ordered set with a greatest element is assigned an order algebra, a Hilbert algebra occuring in intuicionistic logic. We prove some basic properties of order algebras and characterize their ideals and congruences. We introduce a concept of (relative) annihilator and show that it is a (relative) pseudocomplement in the lattice of all ideals."@en . "Z(MSM 153100011)" . "Order algebras" . . "To every ordered set with a greatest element is assigned an order algebra, a Hilbert algebra occuring in intuicionistic logic. We prove some basic properties of order algebras and characterize their ideals and congruences. We introduce a concept of (relative) annihilator and show that it is a (relative) pseudocomplement in the lattice of all ideals." . "RIV/61989592:15310/02:00001441" . . . "RIV/61989592:15310/02:00001441!RIV/2003/MSM/153103/N" . "PL - Polsk\u00E1 republika" . . . "0420-1213" . . . "1-10" . "Demonstratio Mathematica" . "Chajda, Ivan" . "10"^^ . . "ordered set; order algebra; ideal; congruence; annihilator"@en . "2"^^ . . "1" . "[28A82538649A]" . "15310" . . "Hala\u0161, Radom\u00EDr" . "0"^^ . . . . "2"^^ . "0"^^ . "657393" . "35" . . "Order algebras"@en .