{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T13:49:01Z","timestamp":1774878541677,"version":"3.50.1"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"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":[[1996,5]]},"DOI":"10.1007\/bf01268618","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T02:54:15Z","timestamp":1111632855000},"page":"191-208","source":"Crossref","is-referenced-by-count":125,"title":["A complete many-valued logic with product-conjunction"],"prefix":"10.1007","volume":"35","author":[{"given":"Petr","family":"H\u00e1jek","sequence":"first","affiliation":[]},{"given":"Lluis","family":"Godo","sequence":"additional","affiliation":[]},{"given":"Francesc","family":"Esteva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01268618_CR1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0022-247X(83)90216-0","volume":"93","author":"C. Alsina","year":"1983","unstructured":"Alsina, C., Trillas, E., Valverde L.: On some logical connectives for fuzzy set theory. J. Math. Anal. Appl.93, 15\u201326 (1983)","journal-title":"J. Math. Anal. Appl."},{"key":"BF01268618_CR2","volume-title":"Distributive lattices","author":"R. Balbes","year":"1974","unstructured":"Balbes, R., Dwinger, P.: Distributive lattices. Missouri: Univ. Missouri Press 1974"},{"key":"BF01268618_CR3","volume-title":"Lattice theory, vol. 25","author":"G. Birkhoff","year":"1948","unstructured":"Birkhoff, G.: Lattice theory, vol. 25. New York: 1948, Amer. Math. Soc. Colloquium Publ."},{"key":"BF01268618_CR4","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0165-0114(87)90098-4","volume":"23","author":"B. Bouchon","year":"1978","unstructured":"Bouchon, B.: Fuzzy inferences and conditional possibility distributions Fuzzy Sets Syst.23, 33\u201341 (1978)","journal-title":"Fuzzy Sets Syst."},{"key":"BF01268618_CR5","volume-title":"Partially ordered algebraical systems","author":"L. Fuchs","year":"1963","unstructured":"Fuchs, L.: Partially ordered algebraical systems. New York: Pergamon Press 1963"},{"key":"BF01268618_CR6","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anz. Akad. Wissensch. Wien, Math.-naturwissensch. Klasse69, 65\u201366 (1932). Erg. math. Kolloqu.4, 40 (1933)","journal-title":"Anz. Akad. Wissensch. Wien, Math.-naturwissensch. Klasse"},{"key":"BF01268618_CR7","volume-title":"Mehrwertige Logik","author":"S. Gottwald","year":"1988","unstructured":"Gottwald, S.: Mehrwertige Logik. Berlin: Akademie-Verlag 1988"},{"key":"BF01268618_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-77487-9","volume-title":"Universal Algebra","author":"G. Gr\u00e4tzer","year":"1979","unstructured":"Gr\u00e4tzer, G.: Universal Algebra. Berlin Heidelberg New York: Springer 1979"},{"key":"BF01268618_CR9","first-page":"37","volume":"2.1","author":"Y. Gurevich","year":"1963","unstructured":"Gurevich, Y., Kokorin, A.I.: Universal equivalence of ordered Abelian groups (in Russian). Algebra i Logika2.1, 37\u201339 (1963)","journal-title":"Algebra i Logika"},{"key":"BF01268618_CR10","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/0165-0114(94)00299-M","volume":"73","author":"P. H\u00e1jek","year":"1995","unstructured":"H\u00e1jek, P.: Fuzzy logic and arithmetical hierarchy. Fuzzy Sets Syst.73, 359\u2013363 (1995)","journal-title":"Fuzzy Sets Syst."},{"key":"BF01268618_CR11","unstructured":"H\u00e1jek, P.: Fuzzy logic and arithmetical hierarchy, vol. II. Submitted"},{"key":"BF01268618_CR12","unstructured":"H\u00e1jek, P., Havr\u00e1nek, T., Jirou\u0161ek, R.: Uncertain information processing in expert systems. CRC Press 1992"},{"key":"BF01268618_CR13","first-page":"325","volume":"9","author":"P. H\u00e1jek","year":"1990","unstructured":"H\u00e1jek, P., Vald\u00e9s, J.J.: Algebraic foundations of uncertainty processing in rule-based expert systems I. Comp. Artif. Intell.9, 325\u2013334 (1990)","journal-title":"Comp. Artif. Intell."},{"key":"BF01268618_CR14","series-title":"A handbook of the mathematical foundations of the fuzzy set theory)","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-0215-5","volume-title":"Non-classical logics and their applications to fuzzy subsets","author":"U. H\u00f6hle","year":"1995","unstructured":"H\u00f6hle, U.: Commutative residuated monoids. In: H\u00f6hle, U., Klement, P., (eds) Non-classical logics and their applications to fuzzy subsets (A handbook of the mathematical foundations of the fuzzy set theory). Dordrecht. Kluwer 1995"},{"key":"BF01268618_CR15","first-page":"182","volume":"12","author":"C.H. Ling","year":"1965","unstructured":"Ling, C.H.: Representation of associative functions Publ. Math. Debrecen12, 182\u2013212 (1965)","journal-title":"Publ. Math. Debrecen"},{"key":"BF01268618_CR16","volume-title":"Selected works","author":"J. \u0141ukasiewicz","year":"1970","unstructured":"\u0141ukasiewicz, J.: Selected works. Amsterdam: North-Holland 1970"},{"issue":"47\u201326","key":"BF01268618_CR17","first-page":"134","volume":"26","author":"V. Nov\u00e1k","year":"1990","unstructured":"Nov\u00e1k, V.: On the syntactico-semantical completeness of first-order fuzzy logic I, II Kybernetika26, 47\u201326, 134\u2013152 (1990)","journal-title":"Kybernetika"},{"key":"BF01268618_CR18","volume-title":"The uncertain reasoner's companion \u2014 a mathematical perspective","author":"J.B. Paris","year":"1994","unstructured":"Paris, J.B.: The uncertain reasoner's companion \u2014 a mathematical perspective. Cambridge: Cambridge University Press 1994"},{"key":"BF01268618_CR19","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundl. Math.25, 45\u201352, 119\u2013134, 447\u2013464 (1979)","journal-title":"Z. Math. Logik Grundl. Math."},{"key":"BF01268618_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"A. Rose","year":"1958","unstructured":"Rose, A., Rosser, J.B.: Fragments of many-valued statement calculi. Trans. A.M.S.87, 1\u201353 (1958)","journal-title":"Trans. A.M.S."},{"key":"BF01268618_CR21","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2964111","volume":"27","author":"B. Scarpelini","year":"1962","unstructured":"Scarpelini, B.: Die Nichtaxiomatisierbarkeit des unendlichwertigen Pr\u00e4dikatenkalk\u00fcls von \u0142ukasiewicz. J. Symb. Log.27, 159\u2013170 (1962)","journal-title":"J. Symb. Log."},{"key":"BF01268618_CR22","doi-asserted-by":"crossref","first-page":"69","DOI":"10.5486\/PMD.1963.10.1-4.09","volume":"10","author":"B. Schweizer","year":"1963","unstructured":"Schweizer, B., Sklar, A.: Associative functions and abstract semi-groups. Publ. Math. Debrecen10, 69\u201381 (1963)","journal-title":"Publ. Math. Debrecen"},{"key":"BF01268618_CR23","volume-title":"Probabilistic metric spaces","author":"B. Schweizer","year":"1983","unstructured":"Schweizer, B., Sklar, A.: Probabilistic metric spaces. Amsterdam: North Holland 1983"},{"key":"BF01268618_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01270392","volume":"32","author":"G. Takeuti","year":"1992","unstructured":"Takeuti, G., Titani S.: Fuzzy Logic and fuzzy set theory. Anal. Math. Logic32, 1\u201332 (1992)","journal-title":"Anal. Math. Logic"},{"key":"BF01268618_CR25","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/2.53","volume":"1","author":"L. Zadeh","year":"1988","unstructured":"Zadeh, L.: Fuzzy logic. IEEE Comput.1, 83 (1988)","journal-title":"IEEE Comput."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01268618.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01268618\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01268618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,2]],"date-time":"2023-05-02T18:06:55Z","timestamp":1683050815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01268618"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["BF01268618"],"URL":"https:\/\/doi.org\/10.1007\/bf01268618","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}