25 October 2013 Algebraic logic of concepts and its machine implementation in the algebras of deontic and axiological notions
Author Affiliations +
Proceedings Volume 8903, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2013; 89032Q (2013) https://doi.org/10.1117/12.2035254
Event: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2013, 2013, Wilga, Poland
Abstract
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.
© (2013) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Anna Manerowska, Anna Manerowska, Edward Nieznański, Edward Nieznański, Jan Mulawka, Jan Mulawka, } "Algebraic logic of concepts and its machine implementation in the algebras of deontic and axiological notions ", Proc. SPIE 8903, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2013, 89032Q (25 October 2013); doi: 10.1117/12.2035254; https://doi.org/10.1117/12.2035254
PROCEEDINGS
8 PAGES


SHARE
RELATED CONTENT

Text converter to support legislative process
Proceedings of SPIE (October 25 2013)
A proposal to describe a phenomenon of expanding language
Proceedings of SPIE (October 15 2012)
On proving in epistemic logic
Proceedings of SPIE (October 15 2012)
The philosophical backgrounds of formal concept analysis
Proceedings of SPIE (October 15 2012)
A Diagnostic Aid To Pulp Production
Proceedings of SPIE (March 21 1989)
A tree index routing structure in a peer to peer...
Proceedings of SPIE (September 10 2007)

Back to Top