Abstract
Contextual Attribute Logic is part of Contextual Concept Logic. It may be considered as a contextual version of the Boolean Logic of Signs and Classes. In this paper we survey basic notions and results of a Contextual Attribute Logic. Main themes are the clause logic and the implication logic of formal contexts. For algorithmically computing bases of those logics, a common theory of cumulated clauses is presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Barwise, J. Seligman. Information Flow: The Logic of Distributed Sytems. Cambridge University Press, Cambridge 1997.
H. Berg. Terminologische Begriffslogik. Diplomarbeit. FB Mathematik, TU Darmstadt 1997.
G. Boole. An Investigation of the Laws of Thought On Which Are Founded the Mathematical Theories of Logic and Probabilities. Dover, New York 1958 (first 1854).
K. Devlin. Goodbye Descartes: The End of Logic and the Search for a New Cosmology of the Mind. Wiley, New York 1997.
J.-P. Doignon, J.-C. Falmagne. Knowledge Spaces. Springer, Berlin-Heidelberg-New York 1999.
J.-L. Guigues and Vincent Duquenne. Families minimales d’implications in-formatives resultant d’un tableau de données binaires. Math. Sci. Humaines 95 (1986), 5–18.
B. Ganter. Attribute exploration with background knowledge. Preprint, TU Dresden 1996. To appear in Theoretical Computer Science, 1999.
B. Ganter. Begriffe und Implikationen. In: G. Stumme, R. Wille (eds.). Begriffliche Wissensverarbeitung: Methoden und Anwendungen. Springer, Berlin-Heidelberg (in preparation)
B. Ganter, R. Wille. Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-Heidelberg-New York 1999.
I. Kant. Logic. Dover, New York 1988.
H. Kleine Büning, T. Lettmann. Aussagenlogik: Deduktion und Algorithmen. B.G. Teubner, Stuttgart 1994.
R. Krauße: Kumulierte Klauseln als ausagenlogische Sprachmittel für die Formale Begriffsanalyse. Diplomarbeit. Institut für Algebra, TU Dresden 1998.
S. Prediger. Terminologische Merkmalslogik in der Formalen Begriffsanalyse. In: G. Stumme, R. Wille (eds.). Begriffliche Wissensverarbeitung: Methoden und Anwendungen. Springer, Berlin-Heidelberg (in preparation)
S. Prediger. Kontextuelle Urteilslogik rait Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, TU Darmstadt. Shaker Verlag, Aachen 1998.
St. Read. Thinking About Logic. Oxford University Press 1995. J. F. Sowa. Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading 1984.
J. F. Sowa. Knowledge representation: logical, philosophical, and computational foundations. PWS Publishing Co., Boston (to appear)
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.
R. Wille. Conceptual Graphs and Formal Concept Analysis. In: D. Lukose, H. Delugach, M. Keeler, L. Searle, J. Sowa (eds.). Conceptual Structures: Fulfilling Peirce’s Dream. Springer, Berlin-Heidelberg-New York 1997, 290–303.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ganter, B., Wille, R. (1999). Contextual Attribute Logic. In: Tepfenhart, W.M., Cyre, W. (eds) Conceptual Structures: Standards and Practices. ICCS 1999. Lecture Notes in Computer Science(), vol 1640. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48659-3_23
Download citation
DOI: https://doi.org/10.1007/3-540-48659-3_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66223-5
Online ISBN: 978-3-540-48659-6
eBook Packages: Springer Book Archive