{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:10Z","timestamp":1761611170890},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T00:00:00Z","timestamp":1127779200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2006,2]]},"DOI":"10.1007\/s00153-005-0303-1","type":"journal-article","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T12:17:55Z","timestamp":1127823475000},"page":"149-177","source":"Crossref","is-referenced-by-count":18,"title":["Fuzzy Horn logic II"],"prefix":"10.1007","volume":"45","author":[{"given":"Radim","family":"B\u011blohl\u00e1vek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vil\u00e9m","family":"Vychodil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,27]]},"reference":[{"key":"303_CR1","doi-asserted-by":"crossref","unstructured":"Ad\u00e1mek, J.: How many variables does a quasivariety need? Algebra Universalis 27, 44\u201348 (1990)","DOI":"10.1007\/BF01190252"},{"key":"303_CR2","doi-asserted-by":"crossref","unstructured":"Baaz, M.: Infinite-valued G\u00f6del logics with 0-1 projections and relativizations. G\u00d6DEL '96 \u2013 Logical Foundations of Mathematics, Computer Sciences and Physics, Lecture Notes in Logic vol. 6, Springer-Verlag 1996, pp 23\u201333","DOI":"10.1007\/978-3-662-21963-8_2"},{"key":"303_CR3","unstructured":"Banaschewski, B., Herrlich, H.: Subcategories defined by implications. Houston J. Math. 2, 149\u2013171 (1976)"},{"key":"303_CR4","doi-asserted-by":"crossref","unstructured":"B\u011blohl\u00e1vek R.: Fuzzy closure operators. J. Math. Anal. Appl. 262, 473\u2013489 (2001)","DOI":"10.1006\/jmaa.2000.7456"},{"key":"303_CR5","doi-asserted-by":"crossref","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy closure operators II. Soft Computing 7 (1), 53\u201364 (2002)","DOI":"10.1007\/s00500-002-0165-y"},{"key":"303_CR6","doi-asserted-by":"crossref","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy equational logic. Arch. Math. Log. 41, 83\u201390 (2002)","DOI":"10.1007\/s001530200006"},{"key":"303_CR7","doi-asserted-by":"crossref","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy Relational Systems: Foundations and Principles. Kluwer Academic\/Plenum Publishers, New York, 2002","DOI":"10.1007\/978-1-4615-0633-1"},{"key":"303_CR8","doi-asserted-by":"crossref","unstructured":"B\u011blohl\u00e1vek, R.: Birkhoff variety theorem and fuzzy logic. Arch. Math. Log. 42, 781\u2013790 (2003)","DOI":"10.1007\/s00153-003-0188-9"},{"key":"303_CR9","unstructured":"B\u011blohl\u00e1vek, R., Vychodil, V.: Algebras with fuzzy equalities. Fuzzy Sets and Systems (to appear)"},{"key":"303_CR10","unstructured":"B\u011blohl\u00e1vek, R., Vychodil, V.: Fuzzy Horn logic I: proof theory. Arch. Math. Logic (to appear)"},{"key":"303_CR11","doi-asserted-by":"crossref","unstructured":"Bloom, S.L., Wright, J.B.: Finitary quasi varieties. J. Pure and Appl. Algebra 25, 121\u2013154 (1982)","DOI":"10.1016\/0022-4049(82)90033-0"},{"key":"303_CR12","unstructured":"Fujiwara, T.: On the construction of the least universal Horn class containing a given class. Osaka J. Math. 8, 425\u2013436 (1971)"},{"key":"303_CR13","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145\u2013174 (1967)","DOI":"10.1016\/0022-247X(67)90189-8"},{"key":"303_CR14","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: The logic of inexact concepts. Synthese 18, 325\u2013373 (1968\u20139)","DOI":"10.1007\/BF00485654"},{"key":"303_CR15","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics. Research Studies Press, Baldock, Hertfordshire, England, 2001"},{"key":"303_CR16","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Basic fuzzy logic and BL-algebras. Soft Computing 2, 124\u2013128 (1998)","DOI":"10.1007\/s005000050043"},{"key":"303_CR17","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998","DOI":"10.1007\/978-94-011-5300-3"},{"key":"303_CR18","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: On very true. Fuzzy Sets and Systems 124, 329\u2013333 (2001)","DOI":"10.1016\/S0165-0114(01)00103-8"},{"key":"303_CR19","doi-asserted-by":"crossref","unstructured":"H\u00f6hle, U.: On the fundamentals of fuzzy set theory. J. Math. Anal. Appl. 201, 786\u2013826 (1996)","DOI":"10.1006\/jmaa.1996.0285"},{"key":"303_CR20","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k, V., Perfilieva, I., Mo\u010dko\u0159, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Boston, 1999","DOI":"10.1007\/978-1-4615-5217-8"},{"key":"303_CR21","doi-asserted-by":"crossref","unstructured":"Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundlagen Math. 25, 45\u201352, 119\u2013134, 447\u2013464 (1979)","DOI":"10.1002\/malq.19790252510"},{"key":"303_CR22","doi-asserted-by":"crossref","unstructured":"Selman, A.: Completeness of calculii for axiomatically defined classes of algebras. Algebra Universalis 2, 20\u201332 (1972)","DOI":"10.1007\/BF02945004"},{"key":"303_CR23","doi-asserted-by":"crossref","unstructured":"Takeuti G., Titani S.: Globalization of intuitionistic set theory. Annals of Pure and Applied Logic 33, 195\u2013211 (1987)","DOI":"10.1016\/0168-0072(87)90081-9"},{"key":"303_CR24","unstructured":"Vychodil, V.: Direct limits and reduced products of algebras with fuzzy equalities (submitted)"},{"key":"303_CR25","doi-asserted-by":"crossref","unstructured":"Wechler, W.: Universal Algebra for Computer Scientists. Springer-Verlag, Berlin Heidelberg, 1992","DOI":"10.1007\/978-3-642-76771-5"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0303-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-005-0303-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0303-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T22:27:18Z","timestamp":1586471238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-005-0303-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,27]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,2]]}},"alternative-id":["303"],"URL":"https:\/\/doi.org\/10.1007\/s00153-005-0303-1","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,9,27]]}}}