{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:56:45Z","timestamp":1725544605197},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540333395"},{"type":"electronic","value":"9783540333401"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11734673_17","type":"book-chapter","created":{"date-parts":[[2006,7,3]],"date-time":"2006-07-03T21:59:04Z","timestamp":1151963944000},"page":"212-224","source":"Crossref","is-referenced-by-count":5,"title":["Relational Representability for Algebras of Substructural Logics"],"prefix":"10.1007","author":[{"given":"Ewa","family":"Or\u0142owska","sequence":"first","affiliation":[]},{"given":"Anna Maria","family":"Radzikowska","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_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":"17_CR2","unstructured":"Bimbo, K.: Substructural logics, combinatory logic, and \u03bb\u2013calculus, Ph.D thesis, Indiana University, Bloomington, USA (1999)"},{"issue":"4","key":"17_CR3","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K. Blount","year":"2003","unstructured":"Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. of Algebra Comput.\u00a013(4), 437\u2013461 (2003)","journal-title":"Int. J. of Algebra Comput."},{"key":"17_CR4","series-title":"EATCS Monographs in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04997-6","volume-title":"Incomplete Information: Structure, Inference, Complexity","author":"S. Demri","year":"2002","unstructured":"Demri, S., Or\u0142owska, E.: Incomplete Information: Structure, Inference, Complexity. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2002)"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"R.P. Dilworth","year":"1939","unstructured":"Dilworth, R.P., Ward, N.: Residuated lattices. Transactions of the American Mathematical Society\u00a045, 335\u2013354 (1939)","journal-title":"Transactions of the American Mathematical Society"},{"key":"17_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":"17_CR7","doi-asserted-by":"crossref","unstructured":"D\u00fcntsch, I., Or\u0142owska, E., Radzikowska, A.M.: Lattice\u2013based relation algebras II (preprint, 2003)","DOI":"10.1007\/978-3-540-24615-2_11"},{"key":"17_CR8","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\u2013based structures. Journal of Relation Methods in Computer Science JoRMiCS\u00a01, 132\u2013160 (2004); special volume","journal-title":"Journal of Relation Methods in Computer Science JoRMiCS"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F. Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t\u2013norm based logic: towards a logic for left\u2013continuous t\u2013norms. Fuzzy Sets and Systems\u00a0124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets and Systems"},{"issue":"5","key":"17_CR10","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s005000100137","volume":"5","author":"P. Flondor","year":"2001","unstructured":"Flondor, P., Georgescu, G., Iorgulecu, A.: Psedo\u2013t\u2013norms and pseudo\u2013BL algebras. Soft Computing\u00a05(5), 355\u2013371 (2001)","journal-title":"Soft Computing"},{"key":"17_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. Hajek","year":"1998","unstructured":"Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"issue":"4","key":"17_CR12","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"12","author":"J.B. Hart","year":"2002","unstructured":"Hart, J.B., Rafter, L., Tsinakis, C.: The structure of commutative residuated lattices. Internat. J. Algebra Comput.\u00a012(4), 509\u2013524 (2002)","journal-title":"Internat. J. Algebra Comput."},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s000120050024","volume":"37","author":"C. Hartonas","year":"1997","unstructured":"Hartonas, C., Dunn, J.M.: Stone duality for lattices. Algebra Universalis\u00a037, 391\u2013401 (1997)","journal-title":"Algebra Universalis"},{"key":"17_CR14","first-page":"53","volume-title":"Non\u2013Classical Logics and their Applications to Fuzzy Subsets","author":"U. H\u00f6hle","year":"1996","unstructured":"H\u00f6hle, U.: Commutative, residuated l-monoids. In: H\u00f6hle, U., Klement, U.P. (eds.) Non\u2013Classical Logics and their Applications to Fuzzy Subsets, pp. 53\u2013106. Kluwer, Dordrecht (1996)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Jipsen, P.: A Gentzen system and decidability for residuated lattices (preprint, 2001)","DOI":"10.1007\/978-1-4757-3627-4_3"},{"key":"17_CR16","first-page":"19","volume-title":"Ordered Algebraic Structures","author":"P. Jipsen","year":"2003","unstructured":"Jipsen, P., Tsinaksis, C.: A Survey of Residuated Lattices. In: Martinez, J. (ed.) Ordered Algebraic Structures, pp. 19\u201356. Kluwer Academic Publishers, Dordrecht (2003)"},{"key":"17_CR17","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1093\/oso\/9780198537779.003.0010","volume-title":"Substructural Logics","author":"H. Ono","year":"1993","unstructured":"Ono, H.: Semantics for substructural logics. In: Dosen, K., Schroeder\u2013Heister, P. (eds.) Substructural Logics, pp. 259\u2013291. Oxford University Press, Oxford (1993)"},{"key":"17_CR18","first-page":"177","volume-title":"Trends in Logic: 50 Years of Studia Logica, Trends in Logic","author":"H. Ono","year":"2003","unstructured":"Ono, H.: Substructural logics and residuated lattices \u2013 an introduction. In: Hendricks, V., Malinowski, J. (eds.) Trends in Logic: 50 Years of Studia Logica, Trends in Logic, vol.\u00a020, pp. 177\u2013212. Kluwer, Dordrecht (2003)"},{"key":"17_CR19","unstructured":"Or\u0142owska, E., Radzikowska, A.M.: Information relations and operators based on double residuated lattices. 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":"17_CR20","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":"17_CR21","first-page":"22","volume-title":"Proceedings of the 12th International Congress of Logic, Methodology and Philosophy of Science","author":"E. Or\u0142owska","year":"2003","unstructured":"Or\u0142owska, E., Vakarelov, D.: Lattice\u2013based 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. 22\u201323. Elsevier, Amsterdam (in print, 2003); Abstract in the Volume of Abstracts"},{"key":"17_CR22","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1093\/jigpal\/jzi035","volume":"13","author":"E. Or\u0142owska","year":"2005","unstructured":"Or\u0142owska, E., Rewitzky, I.: Duality via Truth: Semantic frameworks for lattice\u2013based logics. Logic Journal of the IGPL\u00a013, 467\u2013490 (2005)","journal-title":"Logic Journal of the IGPL"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"Relational semantics through duality","author":"E. Or\u0142owska","year":"2005","unstructured":"Or\u0142owska, E., Rewitzky, I., D\u00fcntsch, I.: Relational semantics through duality. LNCS. Springer, Heidelberg (to appear, 2005)"},{"key":"17_CR24","volume-title":"Mathematics Behind Fuzzy Logic","author":"E. Turunen","year":"1999","unstructured":"Turunen, E.: Mathematics Behind Fuzzy Logic. Springer, Heidelberg (1999)"},{"key":"17_CR25","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","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11734673_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,5]],"date-time":"2024-02-05T02:20:00Z","timestamp":1707099600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11734673_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540333395","9783540333401"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11734673_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}