JOURNAL ARTICLE
Implicative semi-lattices
Year: 1965 Journal: Transactions of the American Mathematical Society Vol: 117 (0)Pages: 128-142 Publisher: American Mathematical Society
Abstract
WILLIAM C. NEMITZ(')2. Implicative semi-lattices.An implicative semi-lattice is a system in which L is a nonempty set, = is a partial order on L, A is a greatest lower bound with respect to Sj, and * is a binary composition in L such that for any elements x, y, and z of L,
Keywords:
Mathematics Pure mathematics
Metrics
143
Cited By
0.00
FWCI (Field Weighted Citation Impact)
7
Refs
0.18
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Advanced Algebra and Logic
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Implicative Semi-Lattices
Journal: Transactions of the American Mathematical Society Year: 1965 Vol: 117 Pages: 128-128
BOOK-CHAPTER
Implicative Quasi-Semi-Lattices
Frontiers in artificial intelligence and applications Year: 2022
JOURNAL ARTICLE
Relatively free implicative semi-lattices
Journal: Algebra Universalis Year: 1974 Vol: 4 (1)Pages: 166-184
JOURNAL ARTICLE
Varieties of implicative semi-lattices. II
William C. NemitzThomas Whaley
Journal: Pacific Journal of Mathematics Year: 1973 Vol: 45 (1)Pages: 303-311
JOURNAL ARTICLE
Density and closure in implicative semi-lattices
Jerome F. EasthamWilliam C. Nemitz
Journal: Algebra Universalis Year: 1975 Vol: 5 (1)Pages: 1-7