{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T02:43:35Z","timestamp":1710211415323},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T00:00:00Z","timestamp":1374105600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s11225-013-9499-y","type":"journal-article","created":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T15:09:58Z","timestamp":1374073798000},"page":"827-847","source":"Crossref","is-referenced-by-count":3,"title":["Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pa\u0142asi\u0144ska\u2019s Theorem Revisited"],"prefix":"10.1007","volume":"101","author":[{"given":"Anvar M.","family":"Nurakunov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142 M.","family":"Stronkowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,18]]},"reference":[{"issue":"3","key":"9499_CR1","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0001-8708(77)90056-1","volume":"24","author":"Kirby A. Baker","year":"1977","unstructured":"Baker Kirby A.: Finite equational bases for finite algebras in congruencedistributive equational classes. Adv. Math 24(3), 207\u2013243 (1977)","journal-title":"Adv. Math"},{"issue":"2","key":"9499_CR2","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s00012-002-8180-5","volume":"47","author":"Kirby A. Baker","year":"2002","unstructured":"Baker Kirby A., Ju Wang: Definable principal subcongruences. Algebra Universalis 47(2), 145\u2013151 (2002)","journal-title":"Algebra Universalis"},{"issue":"4","key":"9499_CR3","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/BF00370269","volume":"45","author":"Willem J Blok","year":"1986","unstructured":"Blok Willem J, Don Pigozzi: Protoalgebraic logics. Studia Logica 45(4), 337\u2013369 (1986)","journal-title":"Studia Logica"},{"key":"9499_CR4","unstructured":"Blok, Willem J., and Don Pigozzi, Algebraic semantics for universal Horn logic without equality, in Universal algebra and quasigroup theory (Jadwisin, 1989), vol. 19 of Res. Exp. Math., Heldermann, Berlin, 1992, pp. 1\u201356."},{"issue":"1","key":"9499_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02314419","volume":"34","author":"Stephen L. Bloom","year":"1975","unstructured":"Bloom Stephen L.: Some theorems on structural consequence operations. Studia Logica 34(1), 1\u20139 (1975)","journal-title":"Studia Logica"},{"issue":"3","key":"9499_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF02584057","volume":"40","author":"Janusz Czelakowski","year":"1981","unstructured":"Czelakowski Janusz: Equivalential logics (I). Studia Logica 40(3), 227\u2013236 (1981)","journal-title":"Studia Logica"},{"issue":"1","key":"9499_CR7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BF01418762","volume":"42","author":"Janusz Czelakowski","year":"1983","unstructured":"Czelakowski Janusz: Primitive satisfaction and finitely based logics. Studia Logica 42(1), 89\u2013104 (1983)","journal-title":"Studia Logica"},{"issue":"4","key":"9499_CR8","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00370507","volume":"43","author":"Janusz Czelakowski","year":"1984","unstructured":"Czelakowski Janusz: Filter distributive logics. Studia Logica 43(4), 353\u2013377 (1984)","journal-title":"Studia Logica"},{"issue":"4","key":"9499_CR9","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF00370428","volume":"44","author":"Janusz Czelakowski","year":"1985","unstructured":"Czelakowski Janusz: Algebraic aspects of deduction theorems. Studia Logica 44(4), 369\u2013387 (1985)","journal-title":"Studia Logica"},{"key":"9499_CR10","doi-asserted-by":"crossref","unstructured":"Czelakowski, Janusz, Protoalgebraic logics, vol. 10 of Trends in Logic\u2014Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"key":"9499_CR11","doi-asserted-by":"crossref","unstructured":"Czelakowski, Janusz, and Wies\u0142aw Dziobiak, A deduction theorem schema for deductive systems of propositional logics, Studia Logica50 (3-4):385\u2013390, 1991.","DOI":"10.1007\/BF00370679"},{"issue":"4","key":"9499_CR12","doi-asserted-by":"crossref","first-page":"1242","DOI":"10.2307\/2275814","volume":"61","author":"Pilar Dellunde","year":"1996","unstructured":"Dellunde Pilar, Ramon Jansana: Some characterization theorems for infinitary universal Horn logic without equality. J. Symbolic Logic 61(4), 1242\u20131260 (1996)","journal-title":"J. Symbolic Logic"},{"key":"9499_CR13","unstructured":"Dzik, Wojciech, and Roman Szuszko, On distributivity of closure systems, Bull. Sect. Logic Univ. \u0141\u00f3d\u017a, 6 (2):64\u201366, 1977."},{"issue":"2","key":"9499_CR14","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1023\/A:1005214714620","volume":"63","author":"Raimon Elgueta","year":"1999","unstructured":"Elgueta Raimon, Ramon Jansana: Definability of Leibniz equality. Studia Logica 63(2), 223\u2013243 (1999)","journal-title":"Studia Logica"},{"key":"9499_CR15","doi-asserted-by":"crossref","unstructured":"Font, Josep M., Ramon Jansana, and Don Pigozzi, A survey of abstract algebraic logic, Studia Logica 74 (1-2):13\u201397, 2003.","DOI":"10.1023\/A:1024621922509"},{"key":"9499_CR16","unstructured":"Font, Josep M., and Ramon Jansana, A general algebraic semantics for sentential logics, vol. 7 of Lecture Notes in Logic, Association for Symbolic Logic, Springer-Verlag, Berlin, 2009, URL= http:\/\/projecteuclid.org\/euclid.lnl\/1235416965 ."},{"key":"9499_CR17","unstructured":"Forrest, Peter, The Identity of Indiscernibles, The Stanford Encyclopedia of Philosophy (Winter 2012 Edition), URL= http:\/\/plato.stanford.edu\/archives\/win2012\/entries\/identity-indiscernible\/ ."},{"key":"9499_CR18","unstructured":"Gorbunov, Viktor A., Algebraicheskaya Teoriya Kvazimnogoobrazij, Nauchnaya Kniga, Novosibirsk, 1999. English transl. Algebraic Theory of Quasivarieties, Consultants Bureau, New York 1998."},{"key":"9499_CR19","doi-asserted-by":"crossref","unstructured":"J\u00f3nsson, Bjarni, On finitely based varieties of algebras, Colloq. Math. 42:255\u2013261, 1979.","DOI":"10.4064\/cm-42-1-255-261"},{"key":"9499_CR20","unstructured":"Mal\u2019cev, Anatoly I., Algebraicheskie Sistemy, Nauka, Moscow, 1970. English transl. Algebraic Systems, Springer-Verlag, New York 1973."},{"key":"9499_CR21","doi-asserted-by":"crossref","unstructured":"Nurakunov, Anvar M., and Micha\u0142 M. Stronkowski, Quasivarieties with definable relative principal subcongruences, Studia Logica 92 (1):109\u2013120, 2009.","DOI":"10.1007\/s11225-009-9188-z"},{"key":"9499_CR22","unstructured":"Pa\u0142asi\u0144ska, Katarzyna, Deductive systems and finite axiomatization properties, Ph.D. thesis, Iowa State University, 1994."},{"key":"9499_CR23","doi-asserted-by":"crossref","unstructured":"Pa\u0142asi\u0144ska, Katarzyna, Finite basis theorem for filter-distributive protoalgebraic deductive systems and strict universal Horn classes, Studia Logica74 (1-2):233\u2013273, 2003.","DOI":"10.1023\/A:1024630124326"},{"issue":"2","key":"9499_CR24","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1090\/S0002-9947-1988-0946222-1","volume":"310","author":"Don Pigozzi","year":"1988","unstructured":"Pigozzi Don: Finite basis theorems for relatively congruence-distributive quasivarieties. Trans. Amer. Math. Soc. 310(2), 499\u2013533 (1988)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9499_CR25","first-page":"199","volume":"15","author":"Ross Willard","year":"2004","unstructured":"Willard Ross: The finite basis problem. Contributions to general algebra 15, 199\u2013206 (2004)","journal-title":"Contributions to general algebra"},{"key":"9499_CR26","unstructured":"W\u00f3jcicki, Ryszard, Lectures on Propositional Calculi, Ossolineum, Wroc\u0142aw, 1984, http:\/\/www.ifispan.waw.pl\/studialogica\/wojcicki\/Wojcicki-Lectures.pdf ."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9499-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9499-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9499-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,18]],"date-time":"2019-07-18T15:25:53Z","timestamp":1563463553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9499-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,18]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["9499"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9499-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,18]]}}}