Back to Search
Start Over
Boolean logics with relations
- Source :
-
Journal of Logic & Algebraic Programming . Nov2010, Vol. 79 Issue 8, p707-721. 15p. - Publication Year :
- 2010
-
Abstract
- Abstract: The language of our Boolean logic with relations is a Boolean language to which relation symbols have been added. Such a language turns out to be a useful tool for describing relational structures and algebraic structures. This paper introduces the concepts of Kripke semantics and Boolean semantics for our language. It addresses the traditional issues of decidability/complexity and axiomatization/completeness but it also defines the new concepts of weak canonicity and strong canonicity. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 15678326
- Volume :
- 79
- Issue :
- 8
- Database :
- Academic Search Index
- Journal :
- Journal of Logic & Algebraic Programming
- Publication Type :
- Academic Journal
- Accession number :
- 54100408
- Full Text :
- https://doi.org/10.1016/j.jlap.2010.07.012