{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:18Z","timestamp":1725662898104},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108542"},{"type":"electronic","value":"9783540387657"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10854-8_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:32:03Z","timestamp":1330173123000},"page":"71-80","source":"Crossref","is-referenced-by-count":2,"title":["Quasi-equational logic for partial algeras"],"prefix":"10.1007","author":[{"given":"Peter","family":"Burmeister","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,28]]},"reference":[{"key":"7_CR1","volume-title":"Quasivarieties of partial algebras \u2014 A unifying approach towards a two-valued model theory for partial algebras. Preprint Nr. 557","author":"H. Andr\u00e9ka","year":"1980","unstructured":"H. Andr\u00e9ka, P. Burmeister, I. N\u00e9meti. Quasivarieties of partial algebras \u2014 A unifying approach towards a two-valued model theory for partial algebras. Preprint Nr. 557, Technische Hochschule Darmstadt, Fachbereich Mathematik, 1980."},{"key":"7_CR2","unstructured":"H. Andr\u00e9ka, I. N\u00e9meti. Generalization of variety and quasivariety concept to partial algebras through category theory. MKI Budapest, Preprint 1976\/5; to appear in Dissertationes Mathematicae No. 204."},{"key":"7_CR3","first-page":"75","volume":"241","author":"P. Burmeister","year":"1970","unstructured":"P. Burmeister. Free partial algebras. J. reine u. angewandte Math. 241, 1970, pp. 75\u201386.","journal-title":"J. reine u. angewandte Math."},{"key":"7_CR4","volume-title":"Primitive Klassen partieller Algebren","author":"P. Burmeister","year":"1971","unstructured":"P. Burmeister. Primitive Klassen partieller Algebren. Habilitationsschrift, Bonn, 1971."},{"key":"7_CR5","volume-title":"Partial algebras \u2014 Survey of a unifying approach towards a two-valued model theory for partial algebras. Preprint Nr. 582","author":"P. Burmeister","year":"1981","unstructured":"P. Burmeister. Partial algebras \u2014 Survey of a unifying approach towards a two-valued model theory for partial algebras. Preprint Nr. 582, Technische Hochschule Darmstadt, Fachbereich Mathematik, 1981."},{"key":"7_CR6","unstructured":"C. C. Chang, H. J. Keisler. Model Theory.North-Holland, 1973."},{"key":"7_CR7","unstructured":"P. M. Cohn. Universal Algebra. Harper & Row, 1965."},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF01982047","volume":"12","author":"H.-D. Ebbinghaus","year":"1969","unstructured":"H.-D. Ebbinghaus. \u00dcber eine Pr\u00e4dikatenlogik mit partiell definierten Pr\u00e4dikaten und Funktionen. Archiv f. math. Logik 12, 1969, pp. 39\u201353.","journal-title":"Archiv f. math. Logik"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF02945113","volume":"3","author":"G. A. Edgar","year":"1973","unstructured":"G. A. Edgar. The class of topological spaces is equationally definable. Algebra universalis 3, 1973, pp. 139\u2013146.","journal-title":"Algebra universalis"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"J. A. Goguen, J. Meseguer. Completeness of many-sorted equational logic. Manuscript 1981.","DOI":"10.1145\/947864.947865"},{"key":"7_CR11","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF02945120","volume":"3","author":"H. H\u00f6ft","year":"1973","unstructured":"H. H\u00f6ft. Weak and strong equations in partial algebras. Algebra universalis 3, 1973, pp. 203\u2013215.","journal-title":"Algebra universalis"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF01174565","volume":"159","author":"R. John","year":"1978","unstructured":"R. John. G\u00fcltigkeitsbegriffe f\u00fcr Gleichungen in partiellen Algebren. Math. Zeitschrift 159, 1978, pp. 25\u201335.","journal-title":"Math. Zeitschrift"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"A. I. Mal'cev. Algebraic Systems. Springer-Verlag, 1973.","DOI":"10.1007\/978-3-642-65374-2"},{"key":"7_CR14","unstructured":"I. N\u00e9meti, I. Sain. Cone-implicational subcategories and some Birkhoff-type theorems. Contributions to Universal Algebra (Proc. Coll. Esztergom 1977) Colloq. Math. Soc. J. Bolyai, North Holland, to appear."},{"key":"7_CR15","unstructured":"J. S\u0142omi\u0144ski. Peano-algebras and quasi-algebras. Dissertationes Mathematicae (Rozprawy Mat.) 62, 1968."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10854-8_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:03:56Z","timestamp":1605625436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10854-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108542","9783540387657"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-10854-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}