Document (#43233)

Author

Frické, M.

Title

Boolean logic

Source

Knowledge organization. 48(2021) no.2, S.177-191

Year

2021

Series

Reviews of Concepts in Knowledge Organization

Abstract

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 know­ledge 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 know­ledge organization.

Similar documents (author)

1. Frické, M.: Faceted classification : orthogonal facets and graphs of foci? (2011) 5.76

   5.7603507 = sum of:
     5.7603507 = weight(author_txt:frické in 850) [ClassicSimilarity], result of:
       5.7603507 = fieldWeight in 850, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.216561 = idf(docFreq=11, maxDocs=44421)
         0.625 = fieldNorm(doc=850)
   

2. Frické, M.: Reflections on classification : Thomas Reid and bibliographic description (2013) 5.76

   5.7603507 = sum of:
     5.7603507 = weight(author_txt:frické in 2766) [ClassicSimilarity], result of:
       5.7603507 = fieldWeight in 2766, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.216561 = idf(docFreq=11, maxDocs=44421)
         0.625 = fieldNorm(doc=2766)
   

3. Frické, M.: Logic and the organization of information (2012) 5.76

   5.7603507 = sum of:
     5.7603507 = weight(author_txt:frické in 2782) [ClassicSimilarity], result of:
       5.7603507 = fieldWeight in 2782, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.216561 = idf(docFreq=11, maxDocs=44421)
         0.625 = fieldNorm(doc=2782)
   

4. Frické, M.: Big data and its epistemology (2015) 5.76

   5.7603507 = sum of:
     5.7603507 = weight(author_txt:frické in 2811) [ClassicSimilarity], result of:
       5.7603507 = fieldWeight in 2811, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.216561 = idf(docFreq=11, maxDocs=44421)
         0.625 = fieldNorm(doc=2811)
   

5. Frické, M.: Logical division (2016) 5.76

   5.7603507 = sum of:
     5.7603507 = weight(author_txt:frické in 4183) [ClassicSimilarity], result of:
       5.7603507 = fieldWeight in 4183, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.216561 = idf(docFreq=11, maxDocs=44421)
         0.625 = fieldNorm(doc=4183)
   

Similar documents (content)

1. Marzano, G.: Introduzione alla teoria degli insiemi fuzzy (1992) 0.17

   0.16564389 = sum of:
     0.16564389 = product of:
       0.8282194 = sum of:
         0.008726715 = weight(abstract_txt:that in 3185) [ClassicSimilarity], result of:
           0.008726715 = score(doc=3185,freq=1.0), product of:
             0.039360467 = queryWeight, product of:
               1.1239481 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.014807943 = queryNorm
             0.22171268 = fieldWeight in 3185, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.09375 = fieldNorm(doc=3185)
         0.13423242 = weight(abstract_txt:algebra in 3185) [ClassicSimilarity], result of:
           0.13423242 = score(doc=3185,freq=1.0), product of:
             0.16879423 = queryWeight, product of:
               1.343799 = boost
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.014807943 = queryNorm
             0.79524297 = fieldWeight in 3185, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.09375 = fieldNorm(doc=3185)
         0.042129215 = weight(abstract_txt:application in 3185) [ClassicSimilarity], result of:
           0.042129215 = score(doc=3185,freq=1.0), product of:
             0.0982166 = queryWeight, product of:
               1.4496493 = boost
               4.5753803 = idf(docFreq=1243, maxDocs=44421)
               0.014807943 = queryNorm
             0.4289419 = fieldWeight in 3185, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.5753803 = idf(docFreq=1243, maxDocs=44421)
               0.09375 = fieldNorm(doc=3185)
         0.32024541 = weight(abstract_txt:logic in 3185) [ClassicSimilarity], result of:
           0.32024541 = score(doc=3185,freq=1.0), product of:
             0.5476356 = queryWeight, product of:
               5.928939 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.014807943 = queryNorm
             0.5847783 = fieldWeight in 3185, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.09375 = fieldNorm(doc=3185)
         0.32288566 = weight(abstract_txt:boolean in 3185) [ClassicSimilarity], result of:
           0.32288566 = score(doc=3185,freq=1.0), product of:
             0.5506415 = queryWeight, product of:
               5.945188 = boost
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.014807943 = queryNorm
             0.58638096 = fieldWeight in 3185, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.09375 = fieldNorm(doc=3185)
       0.2 = coord(5/25)
   

2. Tyner, R.: Sink or swim : Internet search tools & techniques (1996) 0.16

   0.15644586 = sum of:
     0.15644586 = product of:
       1.3037156 = sum of:
         0.01745343 = weight(abstract_txt:that in 5744) [ClassicSimilarity], result of:
           0.01745343 = score(doc=5744,freq=1.0), product of:
             0.039360467 = queryWeight, product of:
               1.1239481 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.014807943 = queryNorm
             0.44342536 = fieldWeight in 5744, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.1875 = fieldNorm(doc=5744)
         0.64049083 = weight(abstract_txt:logic in 5744) [ClassicSimilarity], result of:
           0.64049083 = score(doc=5744,freq=1.0), product of:
             0.5476356 = queryWeight, product of:
               5.928939 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.014807943 = queryNorm
             1.1695566 = fieldWeight in 5744, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.1875 = fieldNorm(doc=5744)
         0.6457713 = weight(abstract_txt:boolean in 5744) [ClassicSimilarity], result of:
           0.6457713 = score(doc=5744,freq=1.0), product of:
             0.5506415 = queryWeight, product of:
               5.945188 = boost
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.014807943 = queryNorm
             1.1727619 = fieldWeight in 5744, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.1875 = fieldNorm(doc=5744)
       0.12 = coord(3/25)
   

3. Smith, S.E.: On the shoulders of giants : from Boole to Shannon to Taube: the origins and development of computerized information from the mid-19th century to the present (1993) 0.15

   0.1536747 = sum of:
     0.1536747 = product of:
       0.7683735 = sum of:
         0.11562729 = weight(abstract_txt:coordinate in 5242) [ClassicSimilarity], result of:
           0.11562729 = score(doc=5242,freq=2.0), product of:
             0.13696314 = queryWeight, product of:
               1.2104793 = boost
               7.6410246 = idf(docFreq=57, maxDocs=44421)
               0.014807943 = queryNorm
             0.84422195 = fieldWeight in 5242, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.6410246 = idf(docFreq=57, maxDocs=44421)
               0.078125 = fieldNorm(doc=5242)
         0.084076226 = weight(abstract_txt:switching in 5242) [ClassicSimilarity], result of:
           0.084076226 = score(doc=5242,freq=1.0), product of:
             0.13953686 = queryWeight, product of:
               1.2217996 = boost
               7.7124834 = idf(docFreq=53, maxDocs=44421)
               0.014807943 = queryNorm
             0.60253775 = fieldWeight in 5242, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.7124834 = idf(docFreq=53, maxDocs=44421)
               0.078125 = fieldNorm(doc=5242)
         0.14160737 = weight(abstract_txt:shannon in 5242) [ClassicSimilarity], result of:
           0.14160737 = score(doc=5242,freq=2.0), product of:
             0.15677883 = queryWeight, product of:
               1.2950878 = boost
               8.175107 = idf(docFreq=33, maxDocs=44421)
               0.014807943 = queryNorm
             0.90323025 = fieldWeight in 5242, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               8.175107 = idf(docFreq=33, maxDocs=44421)
               0.078125 = fieldNorm(doc=5242)
         0.049649756 = weight(abstract_txt:application in 5242) [ClassicSimilarity], result of:
           0.049649756 = score(doc=5242,freq=2.0), product of:
             0.0982166 = queryWeight, product of:
               1.4496493 = boost
               4.5753803 = idf(docFreq=1243, maxDocs=44421)
               0.014807943 = queryNorm
             0.5055129 = fieldWeight in 5242, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.5753803 = idf(docFreq=1243, maxDocs=44421)
               0.078125 = fieldNorm(doc=5242)
         0.3774129 = weight(abstract_txt:logic in 5242) [ClassicSimilarity], result of:
           0.3774129 = score(doc=5242,freq=2.0), product of:
             0.5476356 = queryWeight, product of:
               5.928939 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.014807943 = queryNorm
             0.6891679 = fieldWeight in 5242, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.078125 = fieldNorm(doc=5242)
       0.2 = coord(5/25)
   

4. Tenopir, C.: Online databases : natural language searching with WIN (1993) 0.15

   0.14692022 = sum of:
     0.14692022 = product of:
       1.2243352 = sum of:
         0.011635619 = weight(abstract_txt:that in 7037) [ClassicSimilarity], result of:
           0.011635619 = score(doc=7037,freq=1.0), product of:
             0.039360467 = queryWeight, product of:
               1.1239481 = boost
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.014807943 = queryNorm
             0.2956169 = fieldWeight in 7037, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               2.3649352 = idf(docFreq=11344, maxDocs=44421)
               0.125 = fieldNorm(doc=7037)
         0.6038606 = weight(abstract_txt:logic in 7037) [ClassicSimilarity], result of:
           0.6038606 = score(doc=7037,freq=2.0), product of:
             0.5476356 = queryWeight, product of:
               5.928939 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.014807943 = queryNorm
             1.1026686 = fieldWeight in 7037, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.125 = fieldNorm(doc=7037)
         0.60883904 = weight(abstract_txt:boolean in 7037) [ClassicSimilarity], result of:
           0.60883904 = score(doc=7037,freq=2.0), product of:
             0.5506415 = queryWeight, product of:
               5.945188 = boost
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.014807943 = queryNorm
             1.1056905 = fieldWeight in 7037, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.125 = fieldNorm(doc=7037)
       0.12 = coord(3/25)
   

5. Bednarek, A.R.: Boolean algebras (2009) 0.15

   0.14577714 = sum of:
     0.14577714 = product of:
       1.2148095 = sum of:
         0.17897657 = weight(abstract_txt:algebra in 744) [ClassicSimilarity], result of:
           0.17897657 = score(doc=744,freq=1.0), product of:
             0.16879423 = queryWeight, product of:
               1.343799 = boost
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.014807943 = queryNorm
             1.060324 = fieldWeight in 744, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.482592 = idf(docFreq=24, maxDocs=44421)
               0.125 = fieldNorm(doc=744)
         0.42699394 = weight(abstract_txt:logic in 744) [ClassicSimilarity], result of:
           0.42699394 = score(doc=744,freq=1.0), product of:
             0.5476356 = queryWeight, product of:
               5.928939 = boost
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.014807943 = queryNorm
             0.77970445 = fieldWeight in 744, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.2376356 = idf(docFreq=235, maxDocs=44421)
               0.125 = fieldNorm(doc=744)
         0.60883904 = weight(abstract_txt:boolean in 744) [ClassicSimilarity], result of:
           0.60883904 = score(doc=744,freq=2.0), product of:
             0.5506415 = queryWeight, product of:
               5.945188 = boost
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.014807943 = queryNorm
             1.1056905 = fieldWeight in 744, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               6.25473 = idf(docFreq=231, maxDocs=44421)
               0.125 = fieldNorm(doc=744)
       0.12 = coord(3/25)