{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T10:47:07Z","timestamp":1649155627619},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2004,11,1]],"date-time":"2004-11-01T00:00:00Z","timestamp":1099267200000},"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":[[2004,11]]},"DOI":"10.1007\/s11225-005-0153-1","type":"journal-article","created":{"date-parts":[[2005,3,30]],"date-time":"2005-03-30T17:51:12Z","timestamp":1112205072000},"page":"129-153","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic theory of quasivarieties of heterogeneous partial algebras"],"prefix":"10.1007","volume":"78","author":[{"given":"Peter","family":"Burmeister","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"325","volume":"16","author":"H. Andr\ufffdka","year":"1981","unstructured":"Andr\ufffdka, H., P. Burmeister, and I. N\ufffdmeti, ?Quasivarieties of partial algebras ? A unifying approach towards a two-valued model theory for partial algebras?, Studia Sci. Math. Hungar. 16 (1981), 325?372.","journal-title":"Studia Sci. Math. Hungar."},{"key":"CR2","series-title":"Colloq. Math. Soc. J.Bolyai","first-page":"13","volume-title":"Universal Algebra","author":"H. Andr\ufffdka","year":"1982","unstructured":"Andr\ufffdka, H., and I. N\ufffdmeti, ?A general axiomatizability theorem formulated in terms of cone-injective subcategories?, in B. Cs\ufffdk\ufffdny, E. Fried, and E. T. Schmidt, (eds.), Universal Algebra, Colloq. Math. Soc. J.Bolyai, Vol. 29, North-Holland Publ. Co., Amsterdam, 1982, pp. 13?35."},{"key":"CR3","unstructured":"Andr\ufffdka, H., and I. N\ufffdmeti, Generalization of the concept of variety and quasivariety to partial algebras through category theory, Dissertationes Mathematicae (Rozprawy Matematyczne) No. 204, Warszawa, 1983."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s000120050201","volume":"45","author":"G. Binczak","year":"2001","unstructured":"Binczak, G., ?A characterization theorem for weak varieties?, Algebra Univers. 45 (2001), 53?62.","journal-title":"Algebra Univers."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"Birkhoff, G., ?On the structure of abstract algebras?, Proc. Cambridge Philos. Soc. 31 (1935), 433?454.","journal-title":"Proc. Cambridge Philos. Soc."},{"key":"CR6","unstructured":"Birkhoff, G., Lattice Theory, American Mathematical Society, 1967 (First edition 1941)."},{"key":"CR7","unstructured":"B\ufffdrner F., ?Varieties of Partial Algebras?, Beitr\ufffdge Algebra, Geom. 1996, pp. 259?287."},{"key":"CR8","first-page":"75","volume":"241","author":"P. Burmeister","year":"1970","unstructured":"Burmeister, P., ?Free partial algebras?, J. reine und angewandte Math. 241 (1970), 75?86.","journal-title":"J. reine und angewandte Math."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/BF02483730","volume":"15","author":"P. Burmeister","year":"1982","unstructured":"Burmeister, P., ?Partial algebras ? survey of a unifying approach towards a two-valued model theory for partial algebras?, Algebra Universalis 15 (1982), 306?358.","journal-title":"Algebra Universalis"},{"key":"CR10","volume-title":"Mathematical Research","author":"P. Burmeister","year":"1986","unstructured":"Burmeister, P., A Model Theoretic Oriented Approach to Partial Algebras. Introduction to Theory and Application of Partial Algebras ? Part I., Mathematical Research Vol. 32, Akademie-Verlag, Berlin, 1986."},{"key":"CR11","series-title":"Research and Exposition in Mathematics","first-page":"12","volume-title":"General Algebra and Applications","author":"P. Burmeister","year":"1993","unstructured":"Burmeister, P., ?Tools for a Theory of Partial Algebras?, in K. Denecke and H.-J. Vogel, (eds.), General Algebra and Applications, Research and Exposition in Mathematics, Vol. 20, Heldermann Verlag Berlin, 1993, pp. 12?32."},{"key":"CR12","series-title":"NATO ASI Series C","first-page":"1","volume-title":"Algebras and Orders","author":"P. Burmeister","year":"1993","unstructured":"Burmeister, P., ?Partial Algebras ? An Introductory Survey?, in I. G. Rosenberg and G. Sabidussi, (eds.), Algebras and Orders, NATO ASI Series C, Vol. 389, Kluver Academic Publ., Dordrecht, London, 1993, pp. 1?70."},{"key":"CR13","unstructured":"Burmeister, P., ?On the equivalence of ECE-and generalized Kleene-equations for many-sorted partial algebras?, in G. Pilz, (ed.), Contributions to General Algebra 9, Verlag H\ufffd lder-Pichler-Tempsky, Wien 1995 ? Verlag B. G. Teubner, Stuttgart, pp. 91?106."},{"key":"CR14","first-page":"39","volume-title":"Contributions to General Algebra","author":"P. Burmeister","year":"1999","unstructured":"Burmeister, P., ?Subdirect representations by epimorphisms in quasivarieties of partial algebras?, in I. Chajda, G. Eigenthaler, R. Hala?, W. B. M\ufffdller, H.-J. Vogel, J. Zedn\ufffdk), (eds.), Contributions to General Algebra 11, Verlag Johannes Heyn, Klagenfurt, 1999, pp. 39?54."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/978-1-4020-1898-5_9","volume-title":"Galois Connections and Applications","author":"P. Burmeister","year":"2004","unstructured":"Burmeister, P., ?Galois Connections for Partial Algebras?, in K. Denecke, M. Ern\ufffd and S. L. Wismath, (eds.), Galois Connections and Applications, Kluwer, Dordrecht, 2004, pp. 345?370."},{"key":"CR16","unstructured":"Burmeister, P., Lecture Notes on Universal Algebra ? Many Sorted Partial Algebras, Fragment of lectures hold in the summer terms of 1994, 1996, 1998, 2000 and 2002 at the Darmstadt University of Technology. Download via http:\/\/www.mathematik.tu-darmstadt.de\/~burmeister\/"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1515\/dema-1994-3-415","volume":"27","author":"P. Burmeister","year":"1994","unstructured":"Burmeister, P., and M. Maczy?ski, ?Orthomodular (partial) algebras and their representations?, Demonstratio Mathematica 27 (1994), 701?722.","journal-title":"Demonstratio Mathematica"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s000120050192","volume":"44","author":"P. Burmeister","year":"2000","unstructured":"Burmeister, P., R. Holzer, and M. Maczy?ski, ?Quasi-rings and congruences in the theory of orthomodular algebras?, Algebra Universalis 44 (2000), 333?369.","journal-title":"Algebra Universalis"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2307\/2274743","volume":"54","author":"W. Craig","year":"1989","unstructured":"Craig, W., ?Near-equational and equational systems of logic for partial functions. I and II?, J. of Symb. Logic 54 (1989), 795?827 and 1181?1215.","journal-title":"J. of Symb. Logic"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Dvure?enskij, A., and S. Pulmannov\ufffd, New Trends in Quantum Structures, Kluwer Academic Pub., 2000.","DOI":"10.1007\/978-94-017-2422-7"},{"key":"CR21","volume-title":"Algebraic Theory of Quasivarieties","author":"V. A. Gorbunov","year":"1998","unstructured":"Gorbunov, V. A., Algebraic Theory of Quasivarieties, Consultants Bureau, New York, 1998."},{"key":"CR22","unstructured":"Herrlich, H., and G. E. Strecker, Category Theory ? An Introduction, Allyn and Bacon, 1973, (2nd ed.: Heldermann-Verlag)."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF02945120","volume":"3","author":"H. H\ufffdft","year":"1973","unstructured":"H\ufffdft, H., ?Weak and strong equations in partial algebras?, Algebra univers. 3 (1973), 203?215.","journal-title":"Algebra univers."},{"key":"CR24","unstructured":"Hoehnke, H.-J., Quasi-varieties: a special access, Typescript 2002, submitted to Studia Logica."},{"key":"CR25","unstructured":"Hoehnke, H.-J., and J. Schreckenberger, Partial Algebras and their Theories, Typescript of a planned book, Bad Harzburg, 2002."},{"key":"CR26","unstructured":"Holzer, R., Programmverifikation mit partiellen Algebren als abstrakten Datentypen, Diploma thesis at the Darmstadt University of Technology, 1996. Download via http:\/\/www.mathematik.tu-damstadt.de\/~holzer\/"},{"key":"CR27","unstructured":"Holzer, R., On subdirectly irreducible OMAs, TU-Darmstadt Preprint No. 2237, 2002; submitted to Studia Logica."},{"key":"CR28","unstructured":"Holzer, R., Describing fields by implications between strong equations, TU-Darmstadt Preprint No. 2280, 2003."},{"key":"CR29","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF01236499","volume":"31","author":"P. Kosiuczenko","year":"1994","unstructured":"Kosiuczenko, P., ?Mal?cev type conditions for partial algebras?, Algebra Universalis 31 (1994), 467?474.","journal-title":"Algebra Universalis"},{"key":"CR30","unstructured":"Matthiessen, G., Theorie der heterogenen Algebren, Doctoral thesis at the University of Bremen, 1976."},{"key":"CR31","series-title":"Colloq. Math. Soc. J.Bolyai","first-page":"535","volume-title":"Universal Algebra","author":"I. N\ufffdmeti","year":"1982","unstructured":"N\ufffdmeti, I., and I. Sain, I., ?Cone-implicational subcategories and some Birkhoff-type theorems?, in B. Cs\ufffdk\ufffdny, E. Fried, and E. T. Schmidt, (eds.), Universal Algebra, Colloq. Math. Soc. J.Bolyai, Vol. 29, North-Holland Publ. Co., Amsterdam, 1982, pp. 535?578."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"354","DOI":"10.2307\/2274852","volume":"54","author":"A. Robinson","year":"1989","unstructured":"Robinson, A., ?Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules?, J. Symb. Logic 54 (1989), 354?362.","journal-title":"J. Symb. Logic"},{"key":"CR33","doi-asserted-by":"crossref","first-page":"73","DOI":"10.4064\/cm-14-1-73-87","volume":"14","author":"J. Schmidt","year":"1966","unstructured":"Schmidt, J., ?A general existence Theorem on partial algebras and its special cases?, Coll. Math. 14 (1966), 73?87.","journal-title":"Coll. Math."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"5","DOI":"10.4064\/cm-21-1-5-21","volume":"21","author":"J. Schmidt","year":"1970","unstructured":"Schmidt, J., ?A homomorphism theorem for partial algebras?, Coll. Math. 21 (1970), 5?21.","journal-title":"Coll. Math."},{"key":"CR35","first-page":"627","volume":"10","author":"J. S?omi?ski","year":"1962","unstructured":"S?omi?ski, J., ?On the solving of systems of equations over quasi-algebras and algebras?, Bull. Acad. Polon. Sci., S\ufffdr. Sci. Math. Astron. Phys. 10 (1962), 627?635.","journal-title":"Bull. Acad. Polon. Sci., S\ufffdr. Sci. Math. Astron. Phys."},{"key":"CR36","unstructured":"S?omi?ski, J., A theory of extensions of quasi-algebras to algebras, Dissertationes Mathematicae (Rozprawy Matematyczne No. 40, Warszawa, 1964."},{"key":"CR37","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF01236515","volume":"31","author":"B. Staruch","year":"1994","unstructured":"Staruch, B., and B. Staruch, ?Strong regular varieties of partial algebras?, Algebra Univers. 31 (1994), 157?176.","journal-title":"Algebra Univers."},{"key":"CR38","unstructured":"Staruch, B., and B. Staruch, Algebraic characterizations of classes of partial algebras definable by strong equations and mixed strong and existential equations, Manuscript 1999, submitted to Algebra Universalis."},{"key":"CR39","volume-title":"Wissenschaftstheoretische Untersuchungen in algorithmischen Sprachen I (Theorie der Graphschemata-Kalk\ufffdle)","author":"H. Thiele","year":"1966","unstructured":"Thiele, H., Wissenschaftstheoretische Untersuchungen in algorithmischen Sprachen I (Theorie der Graphschemata-Kalk\ufffdle) VEB Deutscher Verlag der Wissenschaften, Berlin, 1966."},{"key":"CR40","first-page":"333","volume":"239\/240","author":"R. Wille","year":"1970","unstructured":"Wille, R., ?Subdirekte Produkte und konjunkte Summen?, Journal f. d. reine u. angewandte Mathematik 239\/240 (1970), 333?338.","journal-title":"Journal f. d. reine u. angewandte Mathematik"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-0153-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-0153-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-0153-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T15:03:19Z","timestamp":1625670199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-0153-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,11]]},"references-count":40,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2004,11]]}},"alternative-id":["9153"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-0153-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,11]]}}}