{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T13:41:18Z","timestamp":1770817278528,"version":"3.50.1"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T00:00:00Z","timestamp":1445817600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Czech Science Foundation","doi-asserted-by":"publisher","award":["GA13-14654S"],"award-info":[{"award-number":["GA13-14654S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"Czech Science Foundation","doi-asserted-by":"publisher","award":["GA13-14654S"],"award-info":[{"award-number":["GA13-14654S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["PIRSES-GA-2009-247584"],"award-info":[{"award-number":["PIRSES-GA-2009-247584"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s00153-015-0452-9","type":"journal-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T03:48:39Z","timestamp":1445831319000},"page":"353-372","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity"],"prefix":"10.1007","volume":"55","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[]},{"given":"Carles","family":"Noguera","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"issue":"6","key":"452_CR1","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/s00153-006-0011-5","volume":"45","author":"P. Cintula","year":"2006","unstructured":"Cintula P.: Weakly implicative (fuzzy) logics I: basic properties. Arch. Math. Log. 45(6), 673\u2013704 (2006)","journal-title":"Arch. Math. Log."},{"key":"452_CR2","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic (in 2 volumes), vol. 37, 38 of Studies in Logic, Mathematical Logic and Foundations. College Publications, London (2011)"},{"issue":"4","key":"452_CR3","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1007\/s11225-014-9594-8","volume":"103","author":"P. Cintula","year":"2015","unstructured":"Cintula P., Noguera C.: A note on natural extensions in abstract algebraic logic. Studia Logica 103(4), 815\u2013823 (2015)","journal-title":"Studia Logica"},{"issue":"4","key":"452_CR4","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s00153-010-0178-7","volume":"49","author":"P. Cintula","year":"2010","unstructured":"Cintula P., Noguera C.: Implicational (semilinear) logics I: a new hierarchy. Arch. Math. Log. 49(4), 417\u2013446 (2010)","journal-title":"Arch. Math. Log."},{"key":"452_CR5","unstructured":"Cintula, P., Noguera, C.: A general framework for mathematical fuzzy logic. In: Cintula, P., H\u00e1jek, P., Noguera, C. (eds.) Handbook of Mathematical Fuzzy Logic, vol. 1, Studies in Logic, Mathematical Logic and Foundations, vol. 37, pp. 103\u2013207. College Publications, London (2011)"},{"issue":"4","key":"452_CR6","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/s11225-013-9496-1","volume":"101","author":"P. Cintula","year":"2013","unstructured":"Cintula P., Noguera C.: The proof by cases property and its variants in structural consequence relations. Studia Logica 101(4), 713\u2013747 (2013)","journal-title":"Studia Logica"},{"key":"452_CR7","doi-asserted-by":"crossref","unstructured":"Czelakowski, J.: Remarks on finitely based logics. In: Proceedings of the Logic Colloquium 1983. vol. 1. Models and Sets, Lecture Notes in Mathematics, vol. 1103. Springer, Berlin, pp. 147\u2013168 (1984)","DOI":"10.1007\/BFb0099385"},{"key":"452_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics, Trends in Logic, vol. 10","author":"J. Czelakowski","year":"2001","unstructured":"Czelakowski J.: Protoalgebraic Logics, Trends in Logic, vol. 10. Kluwer, Dordrecht (2001)"},{"key":"452_CR9","unstructured":"Font, J.M., Jansana, R.: A General Algebraic Semantics for Sentential Logics, Lecture Notes in Logic, vol. 7, 2nd edn. Association for Symbolic Logic, Ithaca (2009). Freely downloadable from http:\/\/projecteuclid.org\/euclid.lnl\/1235416965"},{"key":"452_CR10","doi-asserted-by":"crossref","unstructured":"Font, J.M., Jansana, R., Pigozzi, D.L.: A survey of abstract algebraic logic. Studia Logica 74(1\u20132, Special Issue on Abstract Algebraic Logic II), 13\u201397 (2003)","DOI":"10.1023\/A:1024621922509"},{"key":"452_CR11","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics, vol. 151","author":"N. Galatos","year":"2007","unstructured":"Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"issue":"1","key":"452_CR12","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11225-006-9003-z","volume":"84","author":"R. Jansana","year":"2006","unstructured":"Jansana R.: Selfextensional logics with conjunction. Studia Logica 84(1), 63\u2013104 (2006)","journal-title":"Studia Logica"},{"key":"452_CR13","unstructured":"L\u00e1vi\u010dka, T.: Classification of (In)finitary Logics. Master thesis, Charles University in Prague (2015)"},{"issue":"iii","key":"452_CR14","first-page":"30","volume":"23","author":"J. \u0141ukasiewicz","year":"1930","unstructured":"\u0141ukasiewicz J., Tarski A.: Untersuchungen \u00fcber den Aussagenkalk\u00fcl. Comptes Rendus Des S\u00e9ances de la Soci\u00e9t\u00e9 Des Sciences Et Des Lettres de Varsovie, Cl. III 23(iii), 30\u201350 (1930)","journal-title":"Comptes Rendus Des S\u00e9ances de la Soci\u00e9t\u00e9 Des Sciences Et Des Lettres de Varsovie, Cl. III"},{"issue":"3","key":"452_CR15","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/j.apal.2012.10.013","volume":"164","author":"J.G. Raftery","year":"2013","unstructured":"Raftery J.G.: Order-algebraizable logics. Ann. Pure Appl. Log. 164(3), 251\u2013283 (2013)","journal-title":"Ann. Pure Appl. Log."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0452-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0452-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0452-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,31]],"date-time":"2019-08-31T19:41:00Z","timestamp":1567280460000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0452-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,26]]},"references-count":15,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["452"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0452-9","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,26]]}}}