Skip to main content
SpringerLink
Log in
Book cover

International Conference on Conceptual Structures

ICCS 2001: Conceptual Structures: Broadening the Base pp 115–128Cite as

Boolean Judgment Logic

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2120))

Abstract

How to introduce negations for formal (semi-)concepts of formal contexts was shown in “Boolean Concept Logic” [Wi00a]. For formal judgments, which are represented by concept graphs of power context families, there is the problem that the negation of a judgment is no more a judgment since judgments are understood as valid propositions. This problem is solved in “Boolean Judgment Logic” by introducing the “negating inversion” This leads to basic algebras of (semi-)concept graphs of power context families which are investigated in this paper to obtain a mathematical foundation of Boolean Judgment Logic. The basic notions and relationships are illustrated by an example concerned with an information system for supporting the configuration of PCs.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. W. Burch: A Peircean reduction thesis. Texas Tech University Press, Lubbock 1991.

    Google Scholar 

  2. F. Dau: Negations in simple concept graphs. In: B. Ganter, G. W. Mineau (eds.): Conceptual structures: logical, linguistic, and computational issues. LNAI 1867. Springer, Heidelberg 2000, 263–276.

    Chapter  Google Scholar 

  3. F. Dau: Concept graphs and predicate logic. This volume.

    Google Scholar 

  4. P. Eklund, B. Groh, G. Stumme, R. Wille: A contextual-logic extension of TOSCANA. In: B. Ganter, G. W. Mineau (eds.): Conceptual structures: logical, linguistic, and computational issues. LNAI 1867. Springer, Heidelberg 2000, 453–467.

    Chapter  Google Scholar 

  5. B. Ganter, R. Wille: Formal Concept Analysis: mathematical foundations. Springer, Heidelberg 1999; German version: Springer, Heidelberg 1996.

    MATH  Google Scholar 

  6. J. Klinger: Simple semiconcept graphs: a Boolean logic approach. This volume.

    Google Scholar 

  7. S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, TU Darmstadt. Shaker, Aachen 1998.

    MATH  Google Scholar 

  8. S. Prediger, R. Wille: The lattice of concept graphs of a relationally scaled context. In: W. Tepfenhart, W. Cyre (eds.): Conceptual structures: standards and practices. LNAI 1640. Springer, Heidelberg 1999, 401–414.

    Chapter  Google Scholar 

  9. J. F. Sowa: Conceptual structures: information processing in mind and machine. Adison-Wesley, Reading 1984.

    MATH  Google Scholar 

  10. R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. In: I. Rival (ed.): Ordered sets. Reidel, Dordrecht-Boston 1982, 445–470.

    Google Scholar 

  11. R. Wille: Lattices in data analysis: how to draw them with a computer. In: I. Rival (ed.): Algorithms and order. Kluwer, Dordrecht/Boston 1989, 33–58.

    Google Scholar 

  12. R. Wille: Restructuring mathematical logic: an approach based on Peirce’s pragmatism. In: A. Ursini, P. Agliano (eds.): Logic and Algebra. Marcel Dekker, New York 1996, 267–281.

    Google Scholar 

  13. R. Wille: Conceptual Graphs and Formal Concept Analysis. In: D. Lukose, H. Delugach, M. Keeler, L. Searle, J. F. Sowa (eds.): Conceptual structures: fulfilling Peirce’s dream. LNAI 1257. Springer, Heidelberg 1997, 290–303.

    Chapter  Google Scholar 

  14. R. Wille: Boolean Concept Logic. In: B. Ganter, G. W. Mineau (eds.): Conceptual structures: logical, linguistic, and computational issues. LNAI 1867. Springer, Heidelberg 2000, 317–331.

    Chapter  Google Scholar 

  15. R. Wille: Contextual Logic summary. In: G. Stumme (ed.): Working with Conceptual Structures. Contributions to ICCS 2000. Shaker, Aachen 2000, 265–276.

    Google Scholar 

  16. R. Wille: Lecture notes on contextual logic of relations. FB4-Preprint, TU Darmstadt 2000.

    Google Scholar 

  17. R. Wille: The contextual-logic structure of distinctive judgments. FB4-Preprint, TU Darmstadt 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Mathematik, Technische Universität Darmstadt, Schloβgartenstr. 7, D-64289, Darmstadt

    Rudolf Wille

Authors
  1. Rudolf Wille
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, TH N-351, University of Alabama in Huntsville, Huntsville, AL, 35899, USA

    Harry S. Delugach

  2. Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Universität Karlsruhe (TH), 76128, Karlsruhe, Germany

    Gerd Stumme

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wille, R. (2001). Boolean Judgment Logic. In: Delugach, H.S., Stumme, G. (eds) Conceptual Structures: Broadening the Base. ICCS 2001. Lecture Notes in Computer Science(), vol 2120. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44583-8_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-44583-8_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42344-7

  • Online ISBN: 978-3-540-44583-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation