TY - JOUR
T1 - Boolean Logic
AU - Frické, Martin
N1 - Publisher Copyright: © 2021, International Society for Knowledge Organization. All rights reserved.
PY - 2021
Y1 - 2021
N2 - The article describes and explains Boolean logic (or Boolean algebra) in its two principal forms: that of truth-values and the Boolean connectives and, or, and not, and that of set membership and the set operations of intersection, union and complement. The main application areas of Boolean logic to knowledge organization, namely post-coordinate indexing and search, are introduced and discussed. Some wider application areas are briefly mentioned, such as: propositional logic, the Shannon-style approach to electrical switching and logic gates, computer programming languages, probability theory, and database queries. An analysis is offered of shortcomings that Boolean logic has in terms of potential uses in knowledge organization.
AB - The article describes and explains Boolean logic (or Boolean algebra) in its two principal forms: that of truth-values and the Boolean connectives and, or, and not, and that of set membership and the set operations of intersection, union and complement. The main application areas of Boolean logic to knowledge organization, namely post-coordinate indexing and search, are introduced and discussed. Some wider application areas are briefly mentioned, such as: propositional logic, the Shannon-style approach to electrical switching and logic gates, computer programming languages, probability theory, and database queries. An analysis is offered of shortcomings that Boolean logic has in terms of potential uses in knowledge organization.
KW - Boolean logic
KW - false
KW - set
KW - true
KW - truth
UR - http://www.scopus.com/inward/record.url?scp=85149115572&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85149115572&partnerID=8YFLogxK
U2 - 10.5771/0943-7444-2021-2-177
DO - 10.5771/0943-7444-2021-2-177
M3 - Article
SN - 0943-7444
VL - 48
SP - 177
EP - 191
JO - Knowledge Organization
JF - Knowledge Organization
IS - 2
ER -