{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,13]],"date-time":"2023-11-13T18:41:29Z","timestamp":1699900889606},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T00:00:00Z","timestamp":1138665600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2006,1,31]],"date-time":"2006-01-31T00:00:00Z","timestamp":1138665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s00153-005-0302-2","type":"journal-article","created":{"date-parts":[[2006,1,30]],"date-time":"2006-01-30T15:27:19Z","timestamp":1138634839000},"page":"267-305","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A relative interpolation theorem for infinitary universal Horn logic and its applications"],"prefix":"10.1007","volume":"45","author":[{"given":"Alexej P.","family":"Pynko","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,1,31]]},"reference":[{"key":"302_CR1","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"Apt","year":"1982","unstructured":"Apt, K.R., van Emden, M.H.: Contributions to the theory of logic programming. J. Association for Computing Machinery 29, 841\u2013862 (1982)","journal-title":"J. Association for Computing Machinery"},{"key":"302_CR2","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1305\/ndjfl\/1093891610","volume":"16","author":"Asenjo","year":"1975","unstructured":"Asenjo, F.G., Tamburino, J.: Logic of antinomies. Notre Dame J. Formal Logic 16, 272\u2013278 (1975).","journal-title":"Notre Dame J. Formal Logic"},{"key":"302_CR3","first-page":"105","volume":"2","author":"Banaschewski","year":"1976","unstructured":"Banaschewski, B., Herrlich, H.: Subcategories defined by implications. Houston J. Math. 2, 105\u2013130 (1976)","journal-title":"Houston J. Math."},{"key":"302_CR4","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proceedings of the Cambridge Philosophy Society 31, 433\u2013454 (1935)","journal-title":"Proceedings of the Cambridge Philosophy Society"},{"key":"302_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02314419","volume":"34","author":"Bloom","year":"1975","unstructured":"Bloom, S.L.: Some theorems on structural consequence relations. Studia Logica 34, 1\u20139 (1975)","journal-title":"Studia Logica"},{"key":"302_CR6","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF02218694","volume":"12","author":"Budkin","year":"1973","unstructured":"Budkin, A.I., Gorbunov, V.A.: Implicative classes of algebras. Algebra and Logic 12, 139\u2013140 (1973)","journal-title":"Algebra and Logic"},{"key":"302_CR7","first-page":"556","volume":"9","author":"Chudnovskii","year":"1968","unstructured":"Chudnovskii, G.V.: Some results in the theory of infinitely long expressions. Soviet Mathematics Doklady 9, 556\u2013559 (1968)","journal-title":"Soviet Mathematics Doklady"},{"key":"302_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. J. Symbolic Logic 24, 97\u2013106 (1959)","journal-title":"J. Symbolic Logic"},{"key":"302_CR9","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"Emden","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. Association for Computing Machinery 23, 733\u2013742 (1976)","journal-title":"J. Association for Computing Machinery"},{"key":"302_CR10","first-page":"65","volume":"69","author":"G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anz. Akad. Wiss. Wien 69, 65\u201366 (1932)","journal-title":"Anz. Akad. Wiss. Wien"},{"key":"302_CR11","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer, G.: General lattice theory. Akademie-Verlag, Berlin, 1978","DOI":"10.1007\/978-3-0348-7633-9"},{"key":"302_CR12","unstructured":"Kleene, S.C.: Introduction to metamathematics. D. Van Nostrand Company, New York, 1952"},{"key":"302_CR13","first-page":"170","volume":"5","author":"\u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficzny 5, 170\u2013171 (1920)","journal-title":"Ruch Filozoficzny"},{"key":"302_CR14","doi-asserted-by":"publisher","first-page":"437","DOI":"10.2307\/2270908","volume":"34","author":"Makkai","year":"1969","unstructured":"Makkai, M.: On the model theory of denumerably long formulas with finite strings of quantifiers. J. Symbolic Logic 34, 437\u2013459 (1969)","journal-title":"J. Symbolic Logic"},{"key":"302_CR15","first-page":"187","volume":"108","author":"Mal'cev","year":"1956","unstructured":"Mal'cev, A.I.: Quasiprimitive classes of abstract algebras (in Russian). Doklady Akademii Nauk SSSR 108, 187\u2013189 (1956)","journal-title":"Doklady Akademii Nauk SSSR"},{"key":"302_CR16","unstructured":"Mal'cev, A.I.: Algebraic systems. Springer-Verlag, Berlin, 1973"},{"key":"302_CR17","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"Priest","year":"1979","unstructured":"Priest, G.: The logic of paradox. J. Philosophical Logic 8, 219\u2013241 (1979)","journal-title":"J. Philosophical Logic"},{"key":"302_CR18","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","volume":"5","author":"Pynko","year":"1995","unstructured":"Pynko, A.P.: On Priest's logic of paradox. J. Appl. Non-Classical Logics 5, 219\u2013225 (1995)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"302_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0168-0072(98)00058-X","volume":"98","author":"Pynko","year":"1999","unstructured":"Pynko, A.P.: Definitional equivalence and algebraizability of generalized logical systems. Annals of Pure and Applied Logic 98, 1\u201368 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"key":"302_CR20","first-page":"11","volume":"33","author":"Pynko","year":"1999","unstructured":"Pynko, A.P.: Implication systems for many-dimensional logics. Reports on Mathematical Logic 33, 11\u201328 (1999)","journal-title":"Reports on Mathematical Logic"},{"key":"302_CR21","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","volume":"9","author":"Pynko","year":"1999","unstructured":"Pynko, A.P.: Functional completeness and axiomatizability within Belnap's four-valued logic and its expansions. J. Appl. Non-Classical Logics 9, 61\u2013105 (1999)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"302_CR22","first-page":"23","volume":"33","author":"Pynko","year":"2004","unstructured":"Pynko, A.P.: Sequential calculi for many-valued logics with equality determinant. Bulletin of the Section of Logic 33, 23\u201332 (2004)","journal-title":"Bulletin of the Section of Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0302-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-005-0302-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0302-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0302-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,14]],"date-time":"2022-05-14T03:36:28Z","timestamp":1652499388000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-005-0302-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,31]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["302"],"URL":"https:\/\/doi.org\/10.1007\/s00153-005-0302-2","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1,31]]},"assertion":[{"value":"26 June 2002","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 January 2006","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}