ON FINITELY BASED CONSEQUENCE DETERMINED BY A DISTRIBUTIVE LATTICE
Kazimiera Dyrda, Tadeusz Prucnal · 1980
Let F = 〈F,∧∨, 〉 be a free algebra in the class of all algebras of type 〈2, 2〉 freely generated by the set of variables V = {p0, p1, p2, . . .} = {pi : i ∈ N}. The elements of the set F will be called formulas. We shall use the Latin lower case letters x, y, z for formulas and U,X, Y for sets of formulas. The symbol V (U) denotes the set of all variables occurring in formulas of U . By R we denote the set of the following rules: