{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:12:40Z","timestamp":1725862360995},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662529201"},{"type":"electronic","value":"9783662529218"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-662-52921-8_17","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T15:22:30Z","timestamp":1470410550000},"page":"265-278","source":"Crossref","is-referenced-by-count":1,"title":["On the Complexity of the Equational Theory of Residuated Boolean Algebras"],"prefix":"10.1007","author":[{"given":"Zhe","family":"Lin","sequence":"first","affiliation":[]},{"given":"Minghui","family":"Ma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Burgess, J.P.: Basic tense logic. In: Handbook of Philosophical Logic. Synthese Library, vol. 165, pp. 83\u2013133. Springer, Netherlands (1984)","DOI":"10.1007\/978-94-009-6259-0_2"},{"issue":"3","key":"17_CR2","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1093\/jigpal\/jzp094","volume":"19","author":"W Buszkowski","year":"2011","unstructured":"Buszkowski, W.: Interpolation and FEP for logics of residuated algebras. Logic J. IGPL 19(3), 437\u2013454 (2011)","journal-title":"Logic J. IGPL"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1007\/978-3-642-54789-8_8","volume-title":"Categories and Types in Logic, Language, and Physics","author":"W Buszkowski","year":"2014","unstructured":"Buszkowski, W.: Multi-sorted residuation. In: Casadio, C., Coecke, B., Moortgat, M., Scott, P. (eds.) Categories and Types in Logic, Language, and Physics. LNCS, vol. 8222, pp. 136\u2013155. Springer, Heidelberg (2014)"},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-662-47197-5_2","volume-title":"Modality, Semantics and Interpretations","author":"W Buszkowski","year":"2015","unstructured":"Buszkowski, W.: Some syntactic interpretations in different systems of full Lambek calculus. In: Ju, S., Liu, H., Ono, H. (eds.) Modality, Semantics and Interpretations, pp. 23\u201348. Springer, Heidelberg (2015)"},{"issue":"4","key":"17_CR5","doi-asserted-by":"crossref","first-page":"953","DOI":"10.1093\/logcom\/exu002","volume":"24","author":"M Collinson","year":"2014","unstructured":"Collinson, M., Mcdonald, K., Pym, D.: A substructural logic for layered graphs. J. Logic Comput. 24(4), 953\u2013998 (2014)","journal-title":"J. Logic Comput."},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-017-1754-0_6","volume-title":"Handbook of Tableau Methods","author":"R Gor\u00e9","year":"1999","unstructured":"Gor\u00e9, R.: Tableau methods for modal and temporal logics. In: D\u2019Agostino, M., Gabbay, D.M., H\u00e4hnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 297\u2013396. Kulwer Academic Publishers, Dordrecht (1999)"},{"key":"17_CR7","unstructured":"Granko, K.: Temporal logics of computation. In: Proceeding of the 12th European Summer School in Logic, Language and Information (2000)"},{"issue":"1","key":"17_CR8","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/BF01200494","volume":"34","author":"P Jipsen","year":"1995","unstructured":"Jipsen, P., J\u00f3nsson, B., Rafter, J.: Adjoining units to residuated Boolean algebras. Algebra Universalis 34(1), 118\u2013127 (1995)","journal-title":"Algebra Universalis"},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/978-94-017-0697-1_6","volume-title":"Algebras and Orders","author":"B J\u00f3nsson","year":"1993","unstructured":"J\u00f3nsson, B.: A survey of Boolean algebras with operators. In: Rosenberg, I.G., Sabidussi, G. (eds.) Algebras and Orders, pp. 239\u2013286. Springer, The Netherlands (1993)"},{"issue":"4","key":"17_CR10","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/BF01195378","volume":"30","author":"B J\u00f3nsson","year":"1993","unstructured":"J\u00f3nsson, B., Tsinakis, C.: Relation algebras as residuated Boolean algebras. Algebra Universalis 30(4), 469\u2013478 (1993)","journal-title":"Algebra Universalis"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/BF01195378","volume":"30","author":"B J\u00f3nsson","year":"1993","unstructured":"J\u00f3nsson, B., Tsinakis, C.: Relation algebras as residuated Boolean algebras. Algebra Universalis 30, 469\u2013478 (1993)","journal-title":"Algebra Universalis"},{"key":"17_CR12","unstructured":"Jipsen, P.: Computer aided investigations of relation algebras. Ph.D. Dissertation, Vanderbilt University (1992)"},{"issue":"3","key":"17_CR13","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/s11225-013-9474-7","volume":"102","author":"M Kaminski","year":"2014","unstructured":"Kaminski, M., Francez, N.: Relational semantics of the Lambek calculus extended with classical propositional logic. Stud. Logica. 102(3), 479\u2013497 (2014)","journal-title":"Stud. Logica."},{"key":"17_CR14","unstructured":"Kurtonina, N.: Frames and labels: a modal analysis of categorical inference. Ph.D. thesis, Universiteit Utrecht (1994)"},{"issue":"1","key":"17_CR15","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1093\/jigpal\/1.1.91","volume":"1","author":"\u00c1 Kurucz","year":"1993","unstructured":"Kurucz, \u00c1., N\u00e9meti, I., Sain, I., Simon, A.: Undecidable varieties of semilattice-ordered semigroups, of Boolean algebras with operators, and logics extending Lambek calculus. Logic J. IGPL 1(1), 91\u201398 (1993)","journal-title":"Logic J. IGPL"},{"key":"17_CR16","doi-asserted-by":"crossref","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and its Mathematical Aspects, pp. 168\u2013178. American Mathematical Society, Providence (1961)","DOI":"10.1090\/psapm\/012\/9972"},{"issue":"2","key":"17_CR17","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1090\/S0002-9947-1982-0662049-7","volume":"272","author":"RD Maddux","year":"1982","unstructured":"Maddux, R.D.: Some varieties containing relation algebras. Trans. Am. Math. Assoc. 272(2), 501\u2013526 (1982)","journal-title":"Trans. Am. Math. Assoc."},{"key":"17_CR18","doi-asserted-by":"crossref","first-page":"340","DOI":"10.2307\/2045968","volume":"100","author":"I N\u00e9meti","year":"1987","unstructured":"N\u00e9meti, I.: Decidability of relation algebras with weakened associativity. Proc. Amer. Math. Soc. 100, 340\u2013344 (1987)","journal-title":"Proc. Amer. Math. Soc."},{"issue":"3","key":"17_CR19","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R Ladner","year":"1977","unstructured":"Ladner, R.: The computational complexity of provability in systems of modal propositional logic. SIAM J. Comput. 6(3), 467\u2013480 (1977)","journal-title":"SIAM J. Comput."},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. J. Symbol. Logic 6, 73\u201389 (1941)","journal-title":"J. Symbol. Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-52921-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T07:13:19Z","timestamp":1568272399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}