{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:59:28Z","timestamp":1725551968206},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540322030"},{"type":"electronic","value":"9783540322047"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11671404_10","type":"book-chapter","created":{"date-parts":[[2006,1,23]],"date-time":"2006-01-23T07:03:57Z","timestamp":1137999837000},"page":"146-160","source":"Crossref","is-referenced-by-count":0,"title":["A Note on Negation: A PCS-Completion of Semilattices"],"prefix":"10.1007","author":[{"given":"L\u00e9onard","family":"Kwuida","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Balbes, R., Dwinger, P.: Distributive lattices. University of Missouri Press (1974)"},{"key":"#cr-split#-10_CR2.1","doi-asserted-by":"crossref","unstructured":"Boole, G.: An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities. Macmillan, Basingstoke (1854);","DOI":"10.5962\/bhl.title.29413"},{"key":"#cr-split#-10_CR2.2","unstructured":"Reprinted by Dover Publ., New York (1958)"},{"key":"10_CR3","first-page":"43","volume":"14","author":"J. C\u012brulis","year":"2004","unstructured":"C\u012brulis, J.: Knowledge representation systems and skew nearlattices. Contributions to General Algebra\u00a014, 43\u201352 (2004)","journal-title":"Contributions to General Algebra"},{"key":"10_CR4","volume-title":"A basic course on general algebra","author":"I. Chajda","year":"2000","unstructured":"Chajda, I., Glazek, K.: A basic course on general algebra. Technical University Press, Zielona G\u00f3ra (2000)"},{"issue":"1-3","key":"10_CR5","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0012-365X(93)90146-K","volume":"111","author":"C. Chameni Nembua","year":"1993","unstructured":"Chameni Nembua, C., Monjardet, B.: Finite pseudocomplemented lattices and \u201cpermutoedre\u201d. Discrete Math.\u00a0111(1-3), 105\u2013112 (1993)","journal-title":"Discrete Math."},{"issue":"1-2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/S0304-3975(96)00334-9","volume":"179","author":"I. D\u00fcntsch","year":"1997","unstructured":"D\u00fcntsch, I.: A logic for rough sets. Theor. Comput. Sci.\u00a0179(1-2), 427\u2013436 (1997)","journal-title":"Theor. Comput. Sci."},{"key":"10_CR7","first-page":"281","volume":"43","author":"I. D\u00fcntsch","year":"2000","unstructured":"D\u00fcntsch, I., Gediga, G.: Rough set data analysis. Encyclopedia of Computer Science and Technology\u00a043, 281\u2013301 (2000)","journal-title":"Encyclopedia of Computer Science and Technology"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1215\/S0012-7094-62-02951-4","volume":"29","author":"O. Frink","year":"1962","unstructured":"Frink, O.: Pseudo-complements in semi-lattices. Duke Math. J.\u00a029, 505\u2013514 (1962)","journal-title":"Duke Math. J."},{"key":"10_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-32262-7_29","volume-title":"Formal Concept Analysis","author":"B. Ganter","year":"2005","unstructured":"Ganter, B., Kwuida, L.: Which concept lattices are pseudocomplemented? In: Ganter, B., Godin, R. (eds.) ICFCA 2005. LNCS (LNAI), vol.\u00a03403, pp. 408\u2013416. Springer, Heidelberg (2005)"},{"key":"10_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis \u2013 Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis \u2013 Mathematical Foundations. Springer, Heidelberg (1999)"},{"key":"10_CR11","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/3-540-48659-3_23","volume-title":"Conceptual Structures: Standards and Practices","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Contextual Attribute Logic. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol.\u00a01640, pp. 377\u2013388. Springer, Heidelberg (1999)"},{"key":"10_CR12","volume-title":"Lattice Theory. First concepts and distributive lattices","author":"G. Gr\u00e4tzer","year":"1971","unstructured":"Gr\u00e4tzer, G.: Lattice Theory. First concepts and distributive lattices. W.H.Freeman and Company, New York (1971)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s00012-004-1881-1","volume":"52","author":"G. Gr\u00e4tzer","year":"2004","unstructured":"Gr\u00e4tzer, G., Schmidt, E.T.: Finite lattices and congruences. A survey. Algebra Universalis\u00a052, 241\u2013278 (2004)","journal-title":"Algebra Universalis"},{"key":"10_CR14","unstructured":"Horn, L.R.: A natural history of negation. University of Chicago Press (1989)"},{"key":"#cr-split#-10_CR15.1","unstructured":"Katrinak, T.: P-algebras. Contributions to lattice theory, Szeged\/Hung (1980);"},{"key":"#cr-split#-10_CR15.2","unstructured":"Colloq. Math. Soc. Janos Bolyai??33, 549???573 (1983)"},{"key":"10_CR16","unstructured":"Kwuida, L.: Dicomplemented lattices. A contextual generalization of Boolean algebras. Dissertation, TU Dresden. Shaker Verlag (2004)"},{"key":"10_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-540-27769-9_15","volume-title":"Conceptual Structures at Work","author":"L. Kwuida","year":"2004","unstructured":"Kwuida, L., Tepav\u010devi\u0107, A., \u0160e\u0161elja, B.: Negation in Contextual Logic. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 227\u2013241. Springer, Heidelberg (2004)"},{"key":"10_CR18","unstructured":"Kwuida, L., Pech, C., Reppe, H.: Generalizations of Boolean algebras. An attribute exploration. Preprint MATH-AL-02-2004, TU Dresden (2004)"},{"key":"10_CR19","unstructured":"Sofronie-Stokkermans, V.: Representation theorems and automated theorem proving in certain classes of non-classical logics. In: Proceedings of the ECAI 1998 workshop on many-valued logic for AI applications (1998)"},{"key":"10_CR20","series-title":"LNAI","first-page":"317","volume-title":"Boolean Concept Logic","author":"R. Wille","year":"2000","unstructured":"Wille, R.: Boolean Concept Logic. LNCS (LNAI), vol.\u00a01867, pp. 317\u2013331. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11671404_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:05:09Z","timestamp":1605625509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11671404_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540322030","9783540322047"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11671404_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}