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.7574883 = sum of:
      5.7574883 = weight(author_txt:frické in 4850) [ClassicSimilarity], result of:
        5.7574883 = fieldWeight in 4850, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.211981 = idf(docFreq=11, maxDocs=44218)
          0.625 = fieldNorm(doc=4850)
    
  2. Frické, M.: Reflections on classification : Thomas Reid and bibliographic description (2013) 5.76
    5.7574883 = sum of:
      5.7574883 = weight(author_txt:frické in 1766) [ClassicSimilarity], result of:
        5.7574883 = fieldWeight in 1766, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.211981 = idf(docFreq=11, maxDocs=44218)
          0.625 = fieldNorm(doc=1766)
    
  3. Frické, M.: Logic and the organization of information (2012) 5.76
    5.7574883 = sum of:
      5.7574883 = weight(author_txt:frické in 1782) [ClassicSimilarity], result of:
        5.7574883 = fieldWeight in 1782, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.211981 = idf(docFreq=11, maxDocs=44218)
          0.625 = fieldNorm(doc=1782)
    
  4. Frické, M.: Big data and its epistemology (2015) 5.76
    5.7574883 = sum of:
      5.7574883 = weight(author_txt:frické in 1811) [ClassicSimilarity], result of:
        5.7574883 = fieldWeight in 1811, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.211981 = idf(docFreq=11, maxDocs=44218)
          0.625 = fieldNorm(doc=1811)
    
  5. Frické, M.: Logical division (2016) 5.76
    5.7574883 = sum of:
      5.7574883 = weight(author_txt:frické in 3183) [ClassicSimilarity], result of:
        5.7574883 = fieldWeight in 3183, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.211981 = idf(docFreq=11, maxDocs=44218)
          0.625 = fieldNorm(doc=3183)
    

Similar documents (content)

  1. Marzano, G.: Introduzione alla teoria degli insiemi fuzzy (1992) 0.17
    0.16549943 = sum of:
      0.16549943 = product of:
        0.8274971 = sum of:
          0.00877893 = weight(abstract_txt:that in 3117) [ClassicSimilarity], result of:
            0.00877893 = score(doc=3117,freq=1.0), product of:
              0.03952011 = queryWeight, product of:
                1.1252868 = boost
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.014821862 = queryNorm
              0.22213829 = fieldWeight in 3117, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.09375 = fieldNorm(doc=3117)
          0.1340435 = weight(abstract_txt:algebra in 3117) [ClassicSimilarity], result of:
            0.1340435 = score(doc=3117,freq=1.0), product of:
              0.16864774 = queryWeight, product of:
                1.3420967 = boost
                8.478011 = idf(docFreq=24, maxDocs=44218)
                0.014821862 = queryNorm
              0.7948135 = fieldWeight in 3117, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.478011 = idf(docFreq=24, maxDocs=44218)
                0.09375 = fieldNorm(doc=3117)
          0.042167507 = weight(abstract_txt:application in 3117) [ClassicSimilarity], result of:
            0.042167507 = score(doc=3117,freq=1.0), product of:
              0.09828305 = queryWeight, product of:
                1.4489315 = boost
                4.5764427 = idf(docFreq=1236, maxDocs=44218)
                0.014821862 = queryNorm
              0.4290415 = fieldWeight in 3117, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.5764427 = idf(docFreq=1236, maxDocs=44218)
                0.09375 = fieldNorm(doc=3117)
          0.320262 = weight(abstract_txt:logic in 3117) [ClassicSimilarity], result of:
            0.320262 = score(doc=3117,freq=1.0), product of:
              0.54769325 = queryWeight, product of:
                5.924311 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.014821862 = queryNorm
              0.5847471 = fieldWeight in 3117, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.09375 = fieldNorm(doc=3117)
          0.32224518 = weight(abstract_txt:boolean in 3117) [ClassicSimilarity], result of:
            0.32224518 = score(doc=3117,freq=1.0), product of:
              0.5499519 = queryWeight, product of:
                5.9365144 = boost
                6.2501497 = idf(docFreq=231, maxDocs=44218)
                0.014821862 = queryNorm
              0.58595157 = fieldWeight in 3117, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2501497 = idf(docFreq=231, maxDocs=44218)
                0.09375 = fieldNorm(doc=3117)
        0.2 = coord(5/25)
    
  2. Tyner, R.: Sink or swim : Internet search tools & techniques (1996) 0.16
    0.15630867 = sum of:
      0.15630867 = product of:
        1.3025723 = sum of:
          0.01755786 = weight(abstract_txt:that in 5676) [ClassicSimilarity], result of:
            0.01755786 = score(doc=5676,freq=1.0), product of:
              0.03952011 = queryWeight, product of:
                1.1252868 = boost
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.014821862 = queryNorm
              0.44427657 = fieldWeight in 5676, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.1875 = fieldNorm(doc=5676)
          0.640524 = weight(abstract_txt:logic in 5676) [ClassicSimilarity], result of:
            0.640524 = score(doc=5676,freq=1.0), product of:
              0.54769325 = queryWeight, product of:
                5.924311 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.014821862 = queryNorm
              1.1694942 = fieldWeight in 5676, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.1875 = fieldNorm(doc=5676)
          0.64449036 = weight(abstract_txt:boolean in 5676) [ClassicSimilarity], result of:
            0.64449036 = score(doc=5676,freq=1.0), product of:
              0.5499519 = queryWeight, product of:
                5.9365144 = boost
                6.2501497 = idf(docFreq=231, maxDocs=44218)
                0.014821862 = queryNorm
              1.1719031 = fieldWeight in 5676, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2501497 = idf(docFreq=231, maxDocs=44218)
                0.1875 = fieldNorm(doc=5676)
        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.153583 = sum of:
      0.153583 = product of:
        0.767915 = sum of:
          0.11544394 = weight(abstract_txt:coordinate in 5243) [ClassicSimilarity], result of:
            0.11544394 = score(doc=5243,freq=2.0), product of:
              0.13682799 = queryWeight, product of:
                1.2088739 = boost
                7.636444 = idf(docFreq=57, maxDocs=44218)
                0.014821862 = queryNorm
              0.8437158 = fieldWeight in 5243, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.636444 = idf(docFreq=57, maxDocs=44218)
                0.078125 = fieldNorm(doc=5243)
          0.083944336 = weight(abstract_txt:switching in 5243) [ClassicSimilarity], result of:
            0.083944336 = score(doc=5243,freq=1.0), product of:
              0.13940075 = queryWeight, product of:
                1.2201861 = boost
                7.7079034 = idf(docFreq=53, maxDocs=44218)
                0.014821862 = queryNorm
              0.60217994 = fieldWeight in 5243, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.7079034 = idf(docFreq=53, maxDocs=44218)
                0.078125 = fieldNorm(doc=5243)
          0.14139947 = weight(abstract_txt:shannon in 5243) [ClassicSimilarity], result of:
            0.14139947 = score(doc=5243,freq=2.0), product of:
              0.1566364 = queryWeight, product of:
                1.2934209 = boost
                8.1705265 = idf(docFreq=33, maxDocs=44218)
                0.014821862 = queryNorm
              0.9027242 = fieldWeight in 5243, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.1705265 = idf(docFreq=33, maxDocs=44218)
                0.078125 = fieldNorm(doc=5243)
          0.049694885 = weight(abstract_txt:application in 5243) [ClassicSimilarity], result of:
            0.049694885 = score(doc=5243,freq=2.0), product of:
              0.09828305 = queryWeight, product of:
                1.4489315 = boost
                4.5764427 = idf(docFreq=1236, maxDocs=44218)
                0.014821862 = queryNorm
              0.50563025 = fieldWeight in 5243, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.5764427 = idf(docFreq=1236, maxDocs=44218)
                0.078125 = fieldNorm(doc=5243)
          0.3774324 = weight(abstract_txt:logic in 5243) [ClassicSimilarity], result of:
            0.3774324 = score(doc=5243,freq=2.0), product of:
              0.54769325 = queryWeight, product of:
                5.924311 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.014821862 = queryNorm
              0.689131 = fieldWeight in 5243, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.078125 = fieldNorm(doc=5243)
        0.2 = coord(5/25)
    
  4. Tenopir, C.: Online databases : natural language searching with WIN (1993) 0.15
    0.1467874 = sum of:
      0.1467874 = product of:
        1.2232285 = sum of:
          0.01170524 = weight(abstract_txt:that in 7038) [ClassicSimilarity], result of:
            0.01170524 = score(doc=7038,freq=1.0), product of:
              0.03952011 = queryWeight, product of:
                1.1252868 = boost
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.014821862 = queryNorm
              0.2961844 = fieldWeight in 7038, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.3694751 = idf(docFreq=11241, maxDocs=44218)
                0.125 = fieldNorm(doc=7038)
          0.60389185 = weight(abstract_txt:logic in 7038) [ClassicSimilarity], result of:
            0.60389185 = score(doc=7038,freq=2.0), product of:
              0.54769325 = queryWeight, product of:
                5.924311 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.014821862 = queryNorm
              1.1026096 = fieldWeight in 7038, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.125 = fieldNorm(doc=7038)
          0.6076313 = weight(abstract_txt:boolean in 7038) [ClassicSimilarity], result of:
            0.6076313 = score(doc=7038,freq=2.0), product of:
              0.5499519 = queryWeight, product of:
                5.9365144 = boost
                6.2501497 = idf(docFreq=231, maxDocs=44218)
                0.014821862 = queryNorm
              1.1048808 = fieldWeight in 7038, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.2501497 = idf(docFreq=231, maxDocs=44218)
                0.125 = fieldNorm(doc=7038)
        0.12 = coord(3/25)
    
  5. Bednarek, A.R.: Boolean algebras (2009) 0.15
    0.14560464 = sum of:
      0.14560464 = product of:
        1.213372 = sum of:
          0.17872468 = weight(abstract_txt:algebra in 3757) [ClassicSimilarity], result of:
            0.17872468 = score(doc=3757,freq=1.0), product of:
              0.16864774 = queryWeight, product of:
                1.3420967 = boost
                8.478011 = idf(docFreq=24, maxDocs=44218)
                0.014821862 = queryNorm
              1.0597514 = fieldWeight in 3757, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.478011 = idf(docFreq=24, maxDocs=44218)
                0.125 = fieldNorm(doc=3757)
          0.42701602 = weight(abstract_txt:logic in 3757) [ClassicSimilarity], result of:
            0.42701602 = score(doc=3757,freq=1.0), product of:
              0.54769325 = queryWeight, product of:
                5.924311 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.014821862 = queryNorm
              0.7796627 = fieldWeight in 3757, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.125 = fieldNorm(doc=3757)
          0.6076313 = weight(abstract_txt:boolean in 3757) [ClassicSimilarity], result of:
            0.6076313 = score(doc=3757,freq=2.0), product of:
              0.5499519 = queryWeight, product of:
                5.9365144 = boost
                6.2501497 = idf(docFreq=231, maxDocs=44218)
                0.014821862 = queryNorm
              1.1048808 = fieldWeight in 3757, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.2501497 = idf(docFreq=231, maxDocs=44218)
                0.125 = fieldNorm(doc=3757)
        0.12 = coord(3/25)