Boolean judgment logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2120, Issue , 2001, Pages 115-128

  Wille, Rudolf ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BASIC ALGEBRA; BOOLEAN CONCEPT LOGIC; CONCEPT GRAPH; FORMAL CONTEXTS; MATHEMATICAL FOUNDATIONS;

COMPUTER CIRCUITS;

EID: 84974712422     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44583-8_9     Document Type: Conference Paper

References (17)

1. R. W. Burch: A Peircean reduction thesis. Texas Tech University Press, Lubbock 1991.
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.
3. F. Dau: Concept graphs and predicate logic. This volume.
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.
5. B. Ganter, R. Wille: Formal Concept Analysis: mathematical foundations. Springer, Heidelberg 1999; German version: Springer, Heidelberg 1996.
6. J. Klinger: Simple semiconcept graphs: a Boolean logic approach. This volume.
7. S. Prediger: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, TU Darmstadt. Shaker, Aachen 1998.
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.
9. J. F. Sowa: Conceptual structures: information processing in mind and machine. Adison-Wesley, Reading 1984.
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.
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.
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.
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.
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.
15. R. Wille: Contextual Logic summary. In: G. Stumme (ed.): Working with Conceptual Structures. Contributions to ICCS 2000. Shaker, Aachen 2000, 265-276.
16. R. Wille: Lecture notes on contextual logic of relations. FB4-Preprint, TU Darmstadt 2000.
17. R. Wille: The contextual-logic structure of distinctive judgments. FB4-Pre- print, TU Darmstadt 2001.