{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,4]],"date-time":"2023-10-04T03:24:08Z","timestamp":1696389848146},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2012,1,26]],"date-time":"2012-01-26T00:00:00Z","timestamp":1327536000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1007\/s00153-011-0265-4","type":"journal-article","created":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T20:17:18Z","timestamp":1327522638000},"page":"285-297","source":"Crossref","is-referenced-by-count":1,"title":["On an axiomatic system for the logic of linearly ordered BCI-matrices"],"prefix":"10.1007","volume":"51","author":[{"given":"San-min","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dao-Wu","family":"Pei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,26]]},"reference":[{"issue":"5","key":"265_CR1","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1016\/j.fss.2005.10.005","volume":"157","author":"L. B\u0115hounek","year":"2006","unstructured":"B\u0115hounek L., Cintula P.: Fuzzy logics as the logics of chains. Fuzzy Sets Syst. 157(5), 604\u2013610 (2006)","journal-title":"Fuzzy Sets Syst."},{"key":"265_CR2","volume-title":"Algebraizable Logics, Memoirs of the American Mathematical Society, vol. 396","author":"W.J. Blok","year":"1989","unstructured":"Blok W.J., Pigozzi D.: Algebraizable Logics, Memoirs of the American Mathematical Society, vol. 396. American Mathematical Society, Providence (1989)"},{"key":"265_CR3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.2307\/2964113","volume":"27","author":"R.A. Bull","year":"1962","unstructured":"Bull R.A.: The implicational fragment of Dummett\u2019s LC. J. Symb. Log. 27, 189\u2013194 (1962)","journal-title":"J. Symb. Log."},{"issue":"6","key":"265_CR4","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. Arc. Math. Log. 45(6), 673\u2013704 (2006)","journal-title":"Arc. Math. Log."},{"key":"265_CR5","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, 417\u2013446 (2010)","journal-title":"Arch. Math. Log."},{"key":"265_CR6","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":"265_CR7","doi-asserted-by":"crossref","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-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"265_CR8","doi-asserted-by":"crossref","unstructured":"Font, J.M., Jansana, R., Pigozzi, D.: A survey of abstract algebraic logic. Studia Logica 74(1\u20132), 13\u201397 (2003). (Special issue on abstract algebraic logic II)","DOI":"10.1023\/A:1024621922509"},{"issue":"1","key":"265_CR9","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1005290924926","volume":"65","author":"F.M. Garcia Olmedo","year":"2000","unstructured":"Garcia Olmedo F.M., Rodriguez Salas A.J.: Linearization of the BCK-logic. Studia Logica 65(1), 31\u201351 (2000)","journal-title":"Studia Logica"},{"key":"265_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P.: Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4. Kluwer, Dordercht (1998)"},{"key":"265_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/978-94-010-9614-0_17","volume-title":"Philosophical Logic","author":"E. Lemmon","year":"1969","unstructured":"Lemmon E., Meredith C., Meredith D., Prior A., Thomas I.: Calculi of pure strict implication. In: Davis, J., Hockney, D., Wilson, W. (eds) Philosophical Logic, pp. 215\u2013250. Reidel, Dordrecht (1969)"},{"issue":"3","key":"265_CR12","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"7","author":"G. Metcalfe","year":"2007","unstructured":"Metcalfe G., Montagna F.: Substructural fuzzy logics. J. Symb. Log. 7(3), 834\u2013864 (2007)","journal-title":"J. Symb. Log."},{"key":"265_CR13","volume-title":"Proof Theory for Fuzzy Logics","author":"G. Metcalfe","year":"2008","unstructured":"Metcalfe G., Olivetti N., Gabbay D.: Proof Theory for Fuzzy Logics. Springer, Berlin (2008)"},{"key":"265_CR14","doi-asserted-by":"crossref","first-page":"2091","DOI":"10.1016\/j.fss.2006.03.021","volume":"157","author":"S.M. Wang","year":"2006","unstructured":"Wang S.M., Qin F., Wang M.Y.: Solutions to Cintula\u2019s open problems. Fuzzy Sets Syst. 157, 2091\u20132099 (2006)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-011-0265-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-011-0265-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-011-0265-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,22]],"date-time":"2019-06-22T22:59:21Z","timestamp":1561244361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-011-0265-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,26]]},"references-count":14,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["265"],"URL":"https:\/\/doi.org\/10.1007\/s00153-011-0265-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,26]]}}}