{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:45:31Z","timestamp":1742636731581},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,6,28]],"date-time":"2013-06-28T00:00:00Z","timestamp":1372377600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s11225-013-9496-1","type":"journal-article","created":{"date-parts":[[2013,6,27]],"date-time":"2013-06-27T01:31:51Z","timestamp":1372296711000},"page":"713-747","source":"Crossref","is-referenced-by-count":27,"title":["The Proof by Cases Property and its Variants in Structural Consequence Relations"],"prefix":"10.1007","volume":"101","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carles","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,6,28]]},"reference":[{"key":"9496_CR1","doi-asserted-by":"crossref","unstructured":"Baaz, Matthias, Infinite-valued G\u00f6del logic with 0-1-projections and relativisations, in Petr H\u00e1jek, (ed.), G\u00f6del'96: Logical Foundations of Mathematics, Computer Science, and Physics, vol. 6 of Lecture Notes in Logic, Springer-Verlag, Brno, 1996, pp. 23\u201333.","DOI":"10.1007\/978-3-662-21963-8_2"},{"key":"9496_CR2","doi-asserted-by":"crossref","unstructured":"Blok, Willem J., and Don L. Pigozzi, Algebraizable Logics, vol. 396 of Memoirs of the American Mathematical Society, American Mathematical Society, Providence, RI, 1989. Freely downloadable from http:\/\/orion.math.iastate.edu\/dpigozzi\/ .","DOI":"10.1090\/memo\/0396"},{"key":"9496_CR3","unstructured":"Blok, Willem J., and Don L. Pigozzi, Local deduction theorems in algebraic logic, in Algebraic logic (Budapest, 1988), vol. 54 of Colloq. Math. Soc. J\u00e1nos Bolyai, North-Holland, Amsterdam, 1991, pp. 75\u2013109."},{"issue":"4","key":"9496_CR4","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s00153-010-0178-7","volume":"49","author":"Petr Cintula","year":"2010","unstructured":"Cintula Petr, Noguera Carles: Implicational (semilinear) logics I: A new hierarchy. Archive for Mathematical Logic 49(4), 417\u2013446 (2010)","journal-title":"Archive for Mathematical Logic"},{"issue":"1","key":"9496_CR5","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF01418762","volume":"42","author":"Janusz Czelakowski","year":"1983","unstructured":"Czelakowski Janusz: Logical matrices, primitive satisfaction and finitely based logics. Studia Logica 42(1), 89\u2013104 (1983)","journal-title":"Studia Logica"},{"key":"9496_CR6","unstructured":"Czelakowski, Janusz, Remarks on finitely based logics, in Proceedings of the Logic Colloquium 1983. Vol. 1. Models and Sets, vol. 1103 of Lecture Notes in Mathematics, Springer, Berlin, 1984, pp. 147\u2013168."},{"issue":"4","key":"9496_CR7","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00370271","volume":"45","author":"Janusz Czelakowski","year":"1986","unstructured":"Czelakowski Janusz: Local deductions theorems. Studia Logica 45(4), 377\u2013391 (1986)","journal-title":"Studia Logica"},{"key":"9496_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2807-2","volume-title":"Protoalgebraic Logics, vol. 10 of Trends in Logic","author":"Janusz Czelakowski","year":"2001","unstructured":"Czelakowski Janusz: Protoalgebraic Logics, vol. 10 of Trends in Logic. Kluwer, Dordrecht (2001)"},{"key":"9496_CR9","first-page":"1","volume":"21","author":"Antonio Diego","year":"1966","unstructured":"Diego Antonio: Sur les alg\u00e8bres de Hilbert. Collection de Logique Math\u00e9matique. Ser. A. (Ed Hermann) 21, 1\u201352 (1966)","journal-title":"Collection de Logique Math\u00e9matique. Ser. A. (Ed Hermann)"},{"issue":"2","key":"9496_CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"Michael Dummett","year":"1959","unstructured":"Dummett Michael: A propositional calculus with denumerable matrix. Journal of Symbolic Logic 24(2), 97\u2013106 (1959)","journal-title":"Journal of Symbolic Logic"},{"key":"9496_CR11","volume-title":"The Logical Basis of Metaphysics","author":"Michael Dummett","year":"1991","unstructured":"Dummett Michael: The Logical Basis of Metaphysics. Harvard University Press, Cambridge, MA (1991)"},{"key":"9496_CR12","first-page":"17","volume":"13","author":"Wojciech Dzik","year":"1981","unstructured":"Dzik Wojciech: On the content of lattices of logics part 1: The representation theorem for lattices of logics. Reports on Mathematical Logic 13, 17\u201328 (1981)","journal-title":"Reports on Mathematical Logic"},{"key":"9496_CR13","unstructured":"Font, Josep Maria, and Ramon Jansana, A General Algebraic Semantics for Sentential Logics, vol. 7 of Lecture Notes in Logic, 2 edn., Association for Symbolic Logic, Ithaca, NY, 2009. Freely downloadable from http:\/\/projecteuclid.org\/euclid.lnl\/1235416965 ."},{"issue":"1\u2013 2","key":"9496_CR14","first-page":"13","volume":"74","author":"Josep Maria Font","year":"2003","unstructured":"Font Josep Maria, Jansana Ramon, Pigozzi Don L.: A Survey of Abstract Algebraic Logic. Studia Logica Special Issue on Abstract Algebraic Logic II 74(1\u2013 2), 13\u201397 (2003)","journal-title":"Studia Logica Special Issue on Abstract Algebraic Logic II"},{"issue":"1","key":"9496_CR15","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s11225-009-9169-2","volume":"91","author":"Josep Maria Font","year":"2009","unstructured":"Font Josep Maria, Jansana Ramon, Pigozzi Don L.: Update to \u201cA Survey of Abstract Algebraic Logic\". Studia Logica 91(1), 125\u2013130 (2009)","journal-title":"Studia Logica"},{"issue":"3\u20134","key":"9496_CR16","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF00370680","volume":"50","author":"Josep Maria Font","year":"1991","unstructured":"Font Josep Maria, Verd\u00fa Ventura: Algebraic logic for classical conjunction and disjunction. Studia Logica 50(3\u20134), 391\u2013419 (1991)","journal-title":"Studia Logica"},{"issue":"2","key":"9496_CR17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:STUD.0000032086.42963.7c","volume":"76","author":"Nikolaos Galatos","year":"2004","unstructured":"Galatos Nikolaos: Equational bases for joins of residuated-lattice varieties. Studia Logica 76(2), 227\u2013240 (2004)","journal-title":"Studia Logica"},{"key":"9496_CR18","unstructured":"Galatos, Nikolaos, Peter Jipsen, Tomasz Kowalski, and Hiroakira Ono, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, vol. 151 of Studies in Logic and the Foundations of Mathematics, Elsevier, Amsterdam, 2007."},{"key":"9496_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic","author":"Petr H\u00e1jek","year":"1998","unstructured":"H\u00e1jek Petr: Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic. Kluwer, Dordrecht (1998)"},{"key":"9496_CR20","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"12","author":"James B. Hart","year":"2002","unstructured":"Hart James B., Rafter Lori, Tsinakis Constantine: The structure of commutative residuated lattices. International Journal of Algebra and Computation 12, 509\u2013524 (2002)","journal-title":"International Journal of Algebra and Computation"},{"key":"9496_CR21","doi-asserted-by":"crossref","unstructured":"Jansana, Ramon, Selfextensional logics with implication, in Jean\u2013Yves B\u00e9ziau, (ed.),Logica Universalis, Birkh\u00e4user, Basel, 2005, pp. 65\u201388.","DOI":"10.1007\/3-7643-7304-0_4"},{"issue":"1","key":"9496_CR22","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11225-006-9003-z","volume":"84","author":"Ramon Jansana","year":"2006","unstructured":"Jansana Ramon: Selfextensional logics with conjunction. Studia Logica 84(1), 63\u2013104 (2006)","journal-title":"Studia Logica"},{"issue":"iii","key":"9496_CR23","first-page":"30","volume":"23","author":"Jan \u0141ukasiewicz","year":"1930","unstructured":"\u0141ukasiewicz Jan, Tarski Alfred: 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":"4","key":"9496_CR24","doi-asserted-by":"crossref","first-page":"155","DOI":"10.2307\/2268715","volume":"4","author":"J.C.C. McKinsey","year":"1939","unstructured":"McKinsey J.C.C.: Proof of the independence of the primitive symbols of Heyting\u2019s calculus of propositions. Journal of Symbolic Logic 4(4), 155\u2013158 (1939)","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9496_CR25","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/s11225-008-9106-9","volume":"88","author":"Kentaro Sato","year":"2008","unstructured":"Sato Kentaro: Proper semantics for substructural logics, from a stalker theoretic point of view. Studia Logica 88(2), 295\u2013324 (2008)","journal-title":"Studia Logica"},{"key":"9496_CR26","unstructured":"Torrens, Antoni, and Ventura Verd\u00fa, Distributivity and irreducibility in closure systems, Tech. rep., Faculty of Mathematics, University of Barcelona, Barcelona, 1982."},{"key":"9496_CR27","first-page":"97","volume":"3","author":"Ventura Verd\u00fa","year":"1979","unstructured":"Verd\u00fa Ventura: L\u00f2giques distributives i booleanes. Stochastica 3, 97\u2013108 (1979)","journal-title":"Stochastica"},{"issue":"5","key":"9496_CR28","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s00153-008-0088-0","volume":"47","author":"San-Min Wang","year":"2008","unstructured":"Wang San-Min, Cintula Petr: Logics with disjunction and proof by cases. Archive for Mathematical Logic 47(5), 435\u2013446 (2008)","journal-title":"Archive for Mathematical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9496-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9496-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9496-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,16]],"date-time":"2019-07-16T12:29:44Z","timestamp":1563280184000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9496-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,28]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["9496"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9496-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,6,28]]}}}