Abstract
A nearlattice A is a meet semilattice in which every initial segment is a lattice; A is said to be Boolean if all of these lattices are Boolean. Overriding on A is a binary operation \(\triangleleft\) defined by \( a \triangleleft {b} := \sup\{x\colon (x \le a \mbox{ and } x {\mathrel{\mbox{\,\raisebox{.7ex}{$\scriptstyle|$}\hspace{-.75ex}\raisebox{-.35ex}{$\circ$}}}}b) \mbox{ or } x \le b\} \), where \(x{\mathrel{\mbox{\,\raisebox{.7ex}{$\scriptstyle|$}\hspace{-.75ex}\raisebox{-.35ex}{$\circ$}}}}b\) means that the join of x and b exists. In particular, \({\triangleleft}\) extends the partial join operation. Natural examples of overriding nearlattices are provided by trees and by appropriate algebras of partial functions. In the paper, elementary properties of overriding are studied, an axiomatic description of it is obtained, and several results concerning associativity of the operation and the structure of function nearlattices with overriding are presented. The main result is a representation theorem (in terms of algebras of partial functions) for Boolean nearlattices with associative overriding.
Similar content being viewed by others
References
Abbot, J.C.: Semi-Boolean algebra. Mat. Vesn. 4(19), 177–198 (1967)
Abbot, J.C.: Implicational algebras. Bull. math. Soc. Sci. Math. Répub. Social. Roum. 11(59), 1–23 (1967)
Adaricheva, K., Maróti, M., et al.: The Jónsson–Kiefer property. Stud. Log. 83, 1–22 (2006)
Burmeister, P.: A Model Theoretic Approach to Partial Algebras. Akademie, Berlin (1986)
Burmeister, P.: Partial algebras—an introductory survey. In: Rozenberg, I.G., Subidussi, G. (eds.) Algebras and Orders, pp. 1–70. Kluwer Acad., Dordrecht (1993)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)
Cardeli, L., Mitchell, J.C.: Operations on records. Math. Struct. Comput. Sci. 1, 3–48 (1991)
Chajda, I., Eigenthaler, G., Länger, H.: Congruence Classes in Universal Algebra. Helderman, Lemgo (2003)
Cīrulis, J.: Subtractive nearsemilattices. Proc. Latv. Acad. Sci., B 52, 228–233 (1998)
Cīrulis, J.: An algebraic approach to knowledge representation. In: Proc. Symp. Math. Found. Comput. Sci.’99. Lect. Notes Comput. Sci., vol. 1672, pp. 299–309. Springer, Berlin (1999)
Cornish, W.H., Hickman, R.C.: Weakly distributive semilattices. Acta Math. Acad. Sci. Hung. 32, 5–16 (1978)
Cornish, W.H.: 3-permutability and quasicommutative BCK-algebras. Math. Jpn. 25, 477–496 (1980)
Cornish, W.H., Noor, A.S.A.: Standard elements in a nearlattice. Bull. Aust. Math. Soc. 26, 185–213 (1982)
Curry, H.B.: Foundations of Mathematical Logic. McGraw-Hill, New York (1973)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)
Gorbunov, V.A.: The structure of lattices of quasivarieties. Algebra Univers. 32, 493–530 (1994)
Grätzer, G., Scmidt, E.T.: Congruence lattices of p-lattices. Algebra Univers. 33, 470–477 (1995)
Grätzer, G., Schmidt, E.T.: The strong independence theorem for automorphism groups and congruence lattices of finite lattices. Beitr. Algebra Geom. 36, 97–108 (1995)
Guzmán, F.: The poset structure of positive implicative BCK-algebras. Algebra Univers. 32, 398–406 (1994)
Hickman, R.: Join algebras. Commun. Algebra 8(17), 1653–1685 (1980)
Kimura, N.: Note on idempotent semigroups I. Proc. Jpn. Acad. 33, 642–645 (1957)
Leech, J.: Recent development in the theory of skew lattices. Semigroup Forum 52, 7–24 (1996)
Noor, A.S.A.: Isotopes of nearlattices. Bull. Aust. Math. Soc. 22, 472–474 (1980)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cīrulis, J. Nearlattices with an Overriding Operation. Order 28, 33–51 (2011). https://doi.org/10.1007/s11083-010-9152-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-010-9152-6