{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T10:45:51Z","timestamp":1759401951005},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540378730"},{"type":"electronic","value":"9783540378747"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11828563_11","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:43:15Z","timestamp":1159872195000},"page":"162-176","source":"Crossref","is-referenced-by-count":10,"title":["Relational Representation Theorems for General Lattices with Negations"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Dzik","sequence":"first","affiliation":[]},{"given":"Ewa","family":"Orlowska","sequence":"additional","affiliation":[]},{"given":"Clint","family":"van Alten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"514","DOI":"10.2307\/2275217","volume":"58","author":"G. Allwein","year":"1993","unstructured":"Allwein, G., Dunn, J.M.: Kripke models for linear logic. J. Symb. Logic\u00a058, 514\u2013545 (1993)","journal-title":"J. Symb. Logic"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: StarandPerp: Two Treatments of Negation. In: Tomberlin, J. (ed.) Philosophical Perspectives (Philosophy of Language and Logic), vol.\u00a07, pp. 331\u2013357 (1993)","DOI":"10.2307\/2214128"},{"key":"11_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic","author":"J.M. Dunn","year":"2001","unstructured":"Dunn, J.M., Hardegree, G.M.: Algebraic Methods in Philosophical Logic. Clarendon Press, Oxford (2001)"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-540-24615-2_11","volume-title":"Theory and Applications of Relational Structures as Knowledge Instruments","author":"I. D\u00fcntsch","year":"2003","unstructured":"D\u00fcntsch, I., Or\u0142owska, E., Radzikowska, A.M.: Lattice\u2013based relation algebras and their representability. In: de Swart, H., Or\u0142owska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol.\u00a02929, pp. 231\u2013255. Springer, Heidelberg (2003)"},{"key":"11_CR5","first-page":"132","volume":"1","author":"I. D\u00fcntsch","year":"2004","unstructured":"D\u00fcntsch, I., Orlowska, E., Radzikowska, A.M., Vakarelov, D.: Relational represen-tation theorems for some lattice-based structures. Journal of Relation Methods in Computer Science JoRMiCS vol\u00a01, 132\u2013160 (2004); ISSN 1439-2275","journal-title":"Journal of Relation Methods in Computer Science JoRMiCS vol"},{"key":"11_CR6","unstructured":"Orlowska, E., Radzikowska, A.M.: Information relations and operators based on double residuatedlattices. In: de Swart, H.C.M. (ed.) Proceedings of the 6th Seminar on Relational Methods in Computer Science RelMiCS 2001, pp. 185\u2013199 (2001)"},{"key":"11_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-36280-0_12","volume-title":"Relational Methods in Computer Science","author":"E. Or\u0142owska","year":"2002","unstructured":"Or\u0142owska, E., Radzikowska, A.M.: Double residuated lattices and their applications. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol.\u00a02561, pp. 171\u2013189. Springer, Heidelberg (2002)"},{"key":"11_CR8","first-page":"147","volume-title":"Proceedings of the 12th International Congress of Logic, Methodology and Philosophy of Science","author":"E. Orlowska","year":"2005","unstructured":"Orlowska, E., Vakarelov, D.: Lattice-based modal algebras and modal logics. In: Hajek, P., Valdes, L., Westerstahl, D. (eds.) Proceedings of the 12th International Congress of Logic, Methodology and Philosophy of Science, Oviedo, August 2003, pp. 147\u2013170. Elsevier, King\u2019s College London Publication, Amsterdam (2005)"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF02485369","volume":"8","author":"A. Urquhart","year":"1978","unstructured":"Urquhart, A.: A topological representation theorem for lattices. Algebra Universalis\u00a08, 45\u201358 (1978)","journal-title":"Algebra Universalis"}],"container-title":["Lecture Notes in Computer Science","Relations and Kleene Algebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11828563_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T21:10:19Z","timestamp":1707253819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11828563_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540378730","9783540378747"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11828563_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}