{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:07:38Z","timestamp":1742634458604},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"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":[[2008,8]]},"DOI":"10.1007\/s00153-008-0088-0","type":"journal-article","created":{"date-parts":[[2008,6,30]],"date-time":"2008-06-30T13:14:10Z","timestamp":1214831650000},"page":"435-446","source":"Crossref","is-referenced-by-count":14,"title":["Logics with disjunction and proof by cases"],"prefix":"10.1007","volume":"47","author":[{"given":"San-min","family":"Wang","sequence":"first","affiliation":[]},{"given":"Petr","family":"Cintula","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,7,1]]},"reference":[{"issue":"5","key":"88_CR1","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1016\/j.fss.2005.10.005","volume":"157","author":"L. B\u011bhounek","year":"2006","unstructured":"B\u011bhounek L., Cintula P.: Fuzzy logics as the logics of chains. Fuzzy Sets Syst. 157(5), 604\u2013610 (2006)","journal-title":"Fuzzy Sets Syst."},{"issue":"6","key":"88_CR2","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. Logic 45(6), 673\u2013704 (2006)","journal-title":"Arch. Math. Logic"},{"key":"88_CR3","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":"88_CR4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198531920.001.0001","volume-title":"Algebraic Methods in Philosophical Logic, Oxford Logic Guides, vol. 41","author":"J.M. Dunn","year":"2001","unstructured":"Dunn J.M., Hardegree G.M.: Algebraic Methods in Philosophical Logic, Oxford Logic Guides, vol. 41. Oxford University Press, Oxford (2001)"},{"issue":"3","key":"88_CR5","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(3), 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"issue":"1\u20132","key":"88_CR6","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"J.M. Font","year":"2003","unstructured":"Font J.M., Jansana R., Pigozzi D.: A survey of Abstract Algebraic Logic. Studia Logica 74(1\u20132), 13\u201397 (Special Issue on Abstract Algebraic Logic II) (2003)","journal-title":"Studia Logica"},{"issue":"2","key":"88_CR7","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:STUD.0000032086.42963.7c","volume":"76","author":"N. Galatos","year":"2004","unstructured":"Galatos N.: Equational bases for joins of residuated-lattice varieties. Studia Logica 76(2), 227\u2013240 (2004)","journal-title":"Studia Logica"},{"key":"88_CR8","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)"},{"issue":"4","key":"88_CR9","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s00153-004-0214-6","volume":"43","author":"R. Hor\u010d\u00edk","year":"2004","unstructured":"Hor\u010d\u00edk R., Cintula P.: Product \u0141ukasiewicz logic. Arch. Math. Logic 43(4), 477\u2013503 (2004)","journal-title":"Arch. Math. Logic"},{"key":"88_CR10","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/3-7643-7304-0_4","volume-title":"Logica Universalis","author":"R. Jansana","year":"2005","unstructured":"Jansana R.: Selfextensional logics with implication. In: B\u00e9ziau, J.(eds) Logica Universalis, pp. 65\u201388. Birkh\u00e4user, Basel (2005)"},{"issue":"1","key":"88_CR11","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":"88_CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/978-94-017-3598-8_8","volume-title":"50 Years of Studia Logica, Trends in Logic, vol. 21","author":"H. Ono","year":"2003","unstructured":"Ono H.: Substructural logics and residuated lattices\u2014an introduction. In: Hendricks, V.F., Malinowski, J.(eds) 50 Years of Studia Logica, Trends in Logic, vol. 21, pp. 193\u2013228. Kluwer, Dordrecht (2003)"},{"key":"88_CR13","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa H.: An Algebraic Approach to Non-Classical Logics. North-Holland, Amsterdam (1974)"},{"key":"88_CR14","doi-asserted-by":"crossref","DOI":"10.4324\/9780203252642","volume-title":"An Introduction to Substructural Logics","author":"G. Restall","year":"2000","unstructured":"Restall G.: An Introduction to Substructural Logics. Routledge, New York (2000)"},{"key":"88_CR15","first-page":"593","volume-title":"Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Advances in Soft Computing, vol. 42\/2007","author":"S.M. Wang","year":"2007","unstructured":"Wang S.M., Lu Z.J.: How to construct formal systems for fuzzy logics. In: Castillo, O., Melin, P., Ross, O.M., Cruz, R.S., Pedrycz, W., Kacprzyk, J.(eds) Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Advances in Soft Computing, vol. 42\/2007, pp. 593\u2013601. Springer, Berlin (2007)"},{"issue":"24","key":"88_CR16","doi-asserted-by":"crossref","first-page":"3169","DOI":"10.1016\/j.fss.2006.05.008","volume":"157","author":"S.M. Wang","year":"2006","unstructured":"Wang S.M., Wang M.Y.: Disjunctive elimination rule and its application in MTL. Fuzzy Sets Syst. 157(24), 3169\u20133176 (2006)","journal-title":"Fuzzy Sets Syst."},{"key":"88_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi, Synthese Library, vol. 199","author":"R. W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki R.: Theory of Logical Calculi, Synthese Library, vol. 199. Kluwer, Dordrecht (1988)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0088-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-008-0088-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-008-0088-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,27]],"date-time":"2024-02-27T23:27:37Z","timestamp":1709076457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-008-0088-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,1]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["88"],"URL":"https:\/\/doi.org\/10.1007\/s00153-008-0088-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7,1]]}}}