{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:01Z","timestamp":1761611161244},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,7,6]],"date-time":"2005-07-06T00:00:00Z","timestamp":1120608000000},"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,1]]},"DOI":"10.1007\/s00153-005-0287-x","type":"journal-article","created":{"date-parts":[[2005,7,5]],"date-time":"2005-07-05T15:15:08Z","timestamp":1120576508000},"page":"3-51","source":"Crossref","is-referenced-by-count":25,"title":["Fuzzy Horn logic I"],"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,7,6]]},"reference":[{"key":"287_CR1","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":"287_CR2","first-page":"149","volume":"2","author":"Herrlich","year":"1976","unstructured":"Banaschewski. B., Herrlich, H.: Subcategories defined by implications. Houston J. Math. 2, 149\u2013171 (1976)","journal-title":"Houston J. Math."},{"key":"287_CR3","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1006\/jmaa.2000.7456","volume":"262","author":"B\u011blohl\u00e1vek","year":"2001","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy closure operators. J. Math. Anal. Appl. 262, 473\u2013489 (2001)","journal-title":"J. Math. Anal. Appl."},{"key":"287_CR4","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s00500-002-0165-y","volume":"7","author":"B\u011blohl\u00e1vek","year":"1","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy closure operators II. Soft Computing 7 (1), 53\u201364 (2002)","journal-title":"Soft Computing"},{"key":"287_CR5","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s001530200006","volume":"41","author":"B\u011blohl\u00e1vek","year":"2002","unstructured":"B\u011blohl\u00e1vek, R.: Fuzzy equational logic. Arch. Math. Log. 41, 83\u201390 (2002)","journal-title":"Arch. Math. Log."},{"key":"287_CR6","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":"287_CR7","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1007\/s00153-003-0188-9","volume":"42","author":"B\u011blohl\u00e1vek","year":"2003","unstructured":"B\u011blohl\u00e1vek, R.: Birkhoff variety theorem and fuzzy logic. Arch. Math. Log. 42, 781\u2013790 (2003)","journal-title":"Arch. Math. Log."},{"key":"287_CR8","unstructured":"B\u011blohl\u00e1vek, R., Funiokov\u00e1, T., Vychodil, V.: Fuzzy closure operators with truth stressers (submitted)"},{"key":"287_CR9","unstructured":"B\u011blohl\u00e1vek, R., Vychodil, V.: Algebras with fuzzy equalities (submitted)"},{"key":"287_CR10","unstructured":"B\u011blohl\u00e1vek, R., Vychodil, V.: Fuzzy Horn logic II: implicationally defined classes (submitted)"},{"key":"287_CR11","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proc. Camb. Philos. Soc. 31, 433\u2013454 (1935)","journal-title":"Proc. Camb. Philos. Soc."},{"key":"287_CR12","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/0022-4049(82)90033-0","volume":"25","author":"Bloom","year":"1982","unstructured":"Bloom, S.L., Wright, J.B.: Finitary quasi varieties. J. Pure and Appl. Algebra 25, 121\u2013154 (1982)","journal-title":"J. Pure and Appl. Algebra"},{"key":"287_CR13","doi-asserted-by":"crossref","unstructured":"Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra. Springer-Verlag, New York, 1981","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"287_CR14","doi-asserted-by":"crossref","unstructured":"Chang, C.C., Keisler, H.J.: Continuous Model Theory. Princeton University Press, Princeton, NJ, 1966","DOI":"10.1515\/9781400882052"},{"key":"287_CR15","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North\u2013Holland, Amsterdam, 1973"},{"key":"287_CR16","unstructured":"Feynman, R.P., Leighton, R.B., Sands, M.: The Feynman Lectures on Physics. Addison Wesley, Reading, MA, 1963"},{"key":"287_CR17","first-page":"425","volume":"8","author":"Fujiwara","year":"1971","unstructured":"Fujiwara, T.: On the construction of the least universal Horn class containing a given class. Osaka J. Math. 8, 425\u2013436 (1971)","journal-title":"Osaka J. Math."},{"key":"287_CR18","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"Goguen","year":"1967","unstructured":"Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145\u2013174 (1967)","journal-title":"J. Math. Anal. Appl."},{"key":"287_CR19","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: The logic of inexact concepts. Synthese 18, 325\u2013373 (1968\u20139)","DOI":"10.1007\/BF00485654"},{"key":"287_CR20","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics. Research Studies Press, Baldock, Hertfordshire, England, 2001"},{"key":"287_CR21","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/s005000050043","volume":"2","author":"H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Basic fuzzy logic and BL-algebras. Soft Computing 2, 124\u2013128 (1998)","journal-title":"Soft Computing"},{"key":"287_CR22","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht, 1998","DOI":"10.1007\/978-94-011-5300-3"},{"key":"287_CR23","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0165-0114(01)00103-8","volume":"124","author":"H\u00e1jek","year":"2001","unstructured":"H\u00e1jek, P.: On very true. Fuzzy Sets and Systems 124, 329\u2013333 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"287_CR24","unstructured":"H\u00e1jek, P.: Monadic fuzzy predicate logic. Preprint"},{"key":"287_CR25","doi-asserted-by":"crossref","first-page":"786","DOI":"10.1006\/jmaa.1996.0285","volume":"201","author":"H\u00f6hle","year":"1996","unstructured":"H\u00f6hle, U.: On the fundamentals of fuzzy set theory. J. Math. Anal. Appl. 201, 786\u2013826 (1996)","journal-title":"J. Math. Anal. Appl."},{"key":"287_CR26","doi-asserted-by":"crossref","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer, Dordrecht, 2000","DOI":"10.1007\/978-94-015-9540-7"},{"key":"287_CR27","doi-asserted-by":"crossref","first-page":"189","DOI":"10.5486\/PMD.1965.12.1-4.19","volume":"12","author":"Ling","year":"1965","unstructured":"Ling, C.H.: Representation of associative functions. Publ. Math. Debrecen 12, 189\u2013212 (1965)","journal-title":"Publ. Math. Debrecen"},{"key":"287_CR28","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/1969668","volume":"65","author":"Mostert","year":"1957","unstructured":"Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Ann. Math. 65, 117\u2013143 (1957)","journal-title":"Ann. Math."},{"key":"287_CR29","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":"287_CR30","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/BF01200495","volume":"34","author":"Palasi\u0144ska","year":"1995","unstructured":"Palasi\u0144ska, K., Pigozzi, G.: Gentzen-style axiomatization in equational logic. Algebra Universalis 34, 128\u2013143 (1995)","journal-title":"Algebra Universalis"},{"key":"287_CR31","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"Pavelka","year":"1979","unstructured":"Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundlagen Math. 25, 45\u201352, 119\u2013134, 447\u2013464 (1979)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"287_CR32","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/BF02945004","volume":"2","author":"Selman","year":"1972","unstructured":"Selman, A.: Completeness of calculii for axiomatically defined classes of algebras. Algebra Universalis 2, 20\u201332 (1972)","journal-title":"Algebra Universalis"},{"key":"287_CR33","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0168-0072(87)90081-9","volume":"33","author":"Takeuti","year":"1987","unstructured":"Takeuti, G., Titani, S.: Globalization of intuitionistic set theory. Annals of Pure and Applied Logic 33, 195\u2013211 (1987)","journal-title":"Annals of Pure and Applied Logic"},{"key":"287_CR34","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","volume":"124","author":"Vojt\u00e1\u0161","year":"3","unstructured":"Vojt\u00e1\u0161, P.: Fuzzy logic programming. Fuzzy Sets and Systems 124 (3), 361\u2013370 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"287_CR35","unstructured":"Vychodil, V.: Direct limits and reduced products of algebras with fuzzy equalities (submitted)"},{"key":"287_CR36","unstructured":"Vychodil, V.: Cut and weakening in fuzzy Horn logic (submitted)"},{"key":"287_CR37","unstructured":"Vychodil, V.: Extended fuzzy equational logic (submitted)"},{"key":"287_CR38","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-0287-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-005-0287-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-005-0287-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T17:55:12Z","timestamp":1683136512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-005-0287-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,6]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2006,1]]}},"alternative-id":["287"],"URL":"https:\/\/doi.org\/10.1007\/s00153-005-0287-x","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7,6]]}}}