Algebraic logic of concepts and its machine implementation in the algebras of deontic and axiological notions
Anna Manerowska, Edward Nieznański, JAN J. MULAWKA · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 2013
Our aim is to present the algebra of concepts in two formal languages. First, after introducing a primary relation between concepts, which is subsumption, we shall specify in a language that uses quantifiers, the Boolean algebra of general concepts. Next, we shall note down the same algebra in simplified non-quantifying language, in order to use it as basis for two specific implementations, i.e. to create the Boolean algebras of deontic concepts and axiological concepts.