{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T10:10:09Z","timestamp":1763201409803},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662235"},{"type":"electronic","value":"9783540486596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48659-3_23","type":"book-chapter","created":{"date-parts":[[2007,7,21]],"date-time":"2007-07-21T17:47:14Z","timestamp":1185040034000},"page":"377-388","source":"Crossref","is-referenced-by-count":33,"title":["Contextual Attribute Logic"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Ganter","sequence":"first","affiliation":[]},{"given":"Rudolf","family":"Wille","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information Flow: The Logic of Distributed Sytems","author":"J. Barwise","year":"1997","unstructured":"J. Barwise, J. Seligman. Information Flow: The Logic of Distributed Sytems. Cambridge University Press, Cambridge 1997."},{"key":"23_CR2","unstructured":"H. Berg. Terminologische Begriffslogik. Diplomarbeit. FB Mathematik, TU Darmstadt 1997."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"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).","DOI":"10.5962\/bhl.title.29413"},{"key":"23_CR4","volume-title":"Goodbye Descartes: The End of Logic and the Search for a New Cosmology of the Mind","author":"K. Devlin","year":"1997","unstructured":"K. Devlin. Goodbye Descartes: The End of Logic and the Search for a New Cosmology of the Mind. Wiley, New York 1997."},{"key":"23_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58625-5","volume-title":"Knowledge Spaces","author":"J.-P. Doignon","year":"1999","unstructured":"J.-P. Doignon, J.-C. Falmagne. Knowledge Spaces. Springer, Berlin-Heidelberg-New York 1999."},{"key":"23_CR6","first-page":"5","volume":"95","author":"J.-L. Guigues","year":"1986","unstructured":"J.-L. Guigues and Vincent Duquenne. Families minimales d\u2019implications in-formatives resultant d\u2019un tableau de donn\u00e9es binaires. Math. Sci. Humaines 95 (1986), 5\u201318.","journal-title":"Math. Sci. Humaines"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"B. Ganter. Attribute exploration with background knowledge. Preprint, TU Dresden 1996. To appear in Theoretical Computer Science, 1999.","DOI":"10.1016\/S0304-3975(98)00271-0"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"B. Ganter. Begriffe und Implikationen. In: G. Stumme, R. Wille (eds.). Begriffliche Wissensverarbeitung: Methoden und Anwendungen. Springer, Berlin-Heidelberg (in preparation)","DOI":"10.1007\/978-3-642-57217-3_1"},{"key":"23_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"B. Ganter, R. Wille. Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-Heidelberg-New York 1999."},{"key":"23_CR10","unstructured":"I. Kant. Logic. Dover, New York 1988."},{"key":"23_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-84809-3","volume-title":"Aussagenlogik: Deduktion und Algorithmen","author":"H. Kleine B\u00fcning","year":"1994","unstructured":"H. Kleine B\u00fcning, T. Lettmann. Aussagenlogik: Deduktion und Algorithmen. B.G. Teubner, Stuttgart 1994."},{"key":"23_CR12","unstructured":"R. Krau\u00dfe: Kumulierte Klauseln als ausagenlogische Sprachmittel f\u00fcr die Formale Begriffsanalyse. Diplomarbeit. Institut f\u00fcr Algebra, TU Dresden 1998."},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"S. Prediger. Terminologische Merkmalslogik in der Formalen Begriffsanalyse. In: G. Stumme, R. Wille (eds.). Begriffliche Wissensverarbeitung: Methoden und Anwendungen. Springer, Berlin-Heidelberg (in preparation)","DOI":"10.1007\/978-3-642-57217-3_5"},{"key":"23_CR14","volume-title":"Kontextuelle Urteilslogik rait Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik","author":"S. Prediger","year":"1998","unstructured":"S. Prediger. Kontextuelle Urteilslogik rait Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Dissertation, TU Darmstadt. Shaker Verlag, Aachen 1998."},{"key":"23_CR15","unstructured":"St. Read. Thinking About Logic. Oxford University Press 1995. J. F. Sowa. Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading 1984."},{"key":"23_CR16","unstructured":"J. F. Sowa. Knowledge representation: logical, philosophical, and computational foundations. PWS Publishing Co., Boston (to appear)"},{"key":"23_CR17","first-page":"267","volume-title":"Logic and Algebra","author":"R. Wille","year":"1996","unstructured":"R. Wille. Restructuring mathematical logic: an approach based on Peirce\u2019s pragmatism. In: A. Ursini, P. Agliano (eds.). Logic and Algebra. Marcel Dekker, New York 1996, 267\u2013281."},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/BFb0027878","volume-title":"Conceptual Structures: Fulfilling Peirce\u2019s Dream","author":"R. Wille","year":"1997","unstructured":"R. Wille. Conceptual Graphs and Formal Concept Analysis. In: D. Lukose, H. Delugach, M. Keeler, L. Searle, J. Sowa (eds.). Conceptual Structures: Fulfilling Peirce\u2019s Dream. Springer, Berlin-Heidelberg-New York 1997, 290\u2013303."}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Standards and Practices"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48659-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T11:33:45Z","timestamp":1556710425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48659-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662235","9783540486596"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48659-3_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}