{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T07:28:14Z","timestamp":1744788494015},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540692232"},{"type":"electronic","value":"9783540692249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11964810_12","type":"book-chapter","created":{"date-parts":[[2007,1,23]],"date-time":"2007-01-23T08:12:54Z","timestamp":1169539974000},"page":"245-266","source":"Crossref","is-referenced-by-count":2,"title":["Relational Representation Theorems for Lattices with Negations: A Survey"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Dzik","sequence":"first","affiliation":[]},{"given":"Ewa","family":"Or\u0142owska","sequence":"additional","affiliation":[]},{"given":"Clint","family":"van Alten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_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":"12_CR2","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press (1974)"},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"287","DOI":"10.4064\/cm-6-1-287-310","volume":"6","author":"A. Bia\u0142ynicki-Birula","year":"1958","unstructured":"Bia\u0142ynicki-Birula, A., Rasiowa, H.: On constructible falsity in the constructive logic with strong negation. Colloquium Mathematicum\u00a06, 287\u2013310 (1958)","journal-title":"Colloquium Mathematicum"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Star and Perp: 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":"12_CR5","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":"12_CR6","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":"12_CR7","first-page":"132","volume":"1","author":"I. D\u00fcntsch","year":"2004","unstructured":"D\u00fcntsch, I., Or\u0142owska, E., Radzikowska, A.M., Vakarelov, D.: Relational representation theorems for some lattice-based structures. Journal of Relation Methods in Computer Science JoRMiCS\u00a01, 132\u2013160 (2004)","journal-title":"Journal of Relation Methods in Computer Science JoRMiCS"},{"key":"12_CR8","unstructured":"Dzik, W., Or\u0142owska, E., vanAlten, C.: Relational Representation Theorems for Lattices with Negations. In: Relmics 2006 Proceedings (to appear, 2006)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1112\/blms\/7.1.45","volume":"7","author":"R. Goldblatt","year":"1975","unstructured":"Goldblatt, R.: Representation for Ortholattices. Bull. London Math. Soc.\u00a07, 45\u201348 (1975)","journal-title":"Bull. London Math. Soc."},{"key":"12_CR10","first-page":"119","volume":"4","author":"I. Johansson","year":"1936","unstructured":"Johansson, I.: Der Minimalkal\u00fcl, ein reduzierte intuitionistischer Formalismus. Compositio Mathematica\u00a04, 119\u2013136 (1936)","journal-title":"Compositio Mathematica"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","first-page":"185","volume-title":"Relational Methods in Computer Science","author":"E. Or\u0142owska","year":"2002","unstructured":"Or\u0142owska, E., Radzikowska, A.M.: Information relations and operators based on double residuated lattices. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol.\u00a02561, pp. 185\u2013199. Springer, Heidelberg (2002)"},{"key":"12_CR12","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":"12_CR13","unstructured":"Or\u0142owska, 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, Oviedo, August 2003. Methodology and Philosophy of Science, pp. 147\u2013170. King\u2019s College London Publication (2005)"},{"key":"12_CR14","unstructured":"Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics, vol.\u00a078. North Holland (1974)"},{"key":"12_CR15","unstructured":"Rasiowa, H., Sikorski, R.: Mathematics of Metamathematics, PWN, Warszawa (1970)"},{"key":"12_CR16","first-page":"1","volume":"67","author":"M.H. Stone","year":"1937","unstructured":"Stone, M.H.: Topological representation of distributive lattices and Brouwerian logics. Cas. Mat. Fiz.\u00a067, 1\u201325 (1937)","journal-title":"Cas. Mat. Fiz."},{"key":"12_CR17","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","Theory and Applications of Relational Structures as Knowledge Instruments II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11964810_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T19:04:23Z","timestamp":1556046263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11964810_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540692232","9783540692249"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11964810_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}