{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:42Z","timestamp":1755220962784,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1005026229560","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"35-47","source":"Crossref","is-referenced-by-count":18,"title":["Embedding Logics into Product Logic"],"prefix":"10.1007","volume":"61","author":[{"given":"Matthias","family":"Baaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"H\u00e1jek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"\u0160vejda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Kraj\u00ed\u010dek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"182692_CR1","doi-asserted-by":"crossref","unstructured":"Baaz, M. \u2018Infinite-valued G\u00f6del Logics with 0-1-Projections and Relativizations\u2019, in: Hajek (ed.) G\u00f6del'96 \u2014 Logical Foundations of Mathematics, Computer Science and Physics \u2014 Kurt G\u00f6del's legacy, Springer Verlag, 1996.","DOI":"10.1007\/978-3-662-21963-8_2"},{"key":"182692_CR2","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1023\/A:1004991931741","volume":"58","author":"R Cignoli","year":"1997","unstructured":"Cignoli, R., and D. Mundici, \u2018An elementary proof of Chang's completeness theorem for the infinite-valued calculus of \u0141ukasiewicz\u2019, Studia Logica 58 (1997), 79\u201397.","journal-title":"Studia Logica"},{"key":"182692_CR3","doi-asserted-by":"crossref","unstructured":"Cook, S. A., \u2018The complexity of theorem proving procedures\u2019, in: Proc. 3\nrd Annual ACM Symp. on Theory of Computing (1971), 151\u2013158, ACM Press.","DOI":"10.1145\/800157.805047"},{"issue":"1","key":"182692_CR4","doi-asserted-by":"crossref","first-page":"36","DOI":"10.2307\/2273702","volume":"44","author":"S. A. Cook","year":"1979","unstructured":"Cook, S. A., and A. R. Reckhow, \u2018The relative efficiency of propositional proof systems\u2019, J. Symbolic Logic 44(1) (1979), 36\u201350.","journal-title":"J. Symbolic Logic"},{"key":"182692_CR5","volume-title":"Mehrwertige Logik","author":"S. Gottwald","year":"1988","unstructured":"Gottwald, S., Mehrwertige Logik, Berlin: Akademie-Verlag, 1988."},{"key":"182692_CR6","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P. H\u00c1jek","year":"1996","unstructured":"H\u00c1jek, P., F. Esteva, and L. Godo, \u2018A complete many-valued logics with product conjunction\u2019, Archive for Mathematics Logic 35 (1996), 191\u2013208.","journal-title":"Archive for Mathematics Logic"},{"key":"182692_CR7","doi-asserted-by":"crossref","unstructured":"H\u00c1jek, P., \u2018Fuzzy logic and arithmetical hierarchy II\u2019, Studia Logica 58 (1997), 129\u2013141","DOI":"10.1023\/A:1004948116720"},{"key":"182692_CR8","volume-title":"Encyclopedia of Mathematics and Its Applications","author":"J. Kraj\u00cd\u010cek","year":"1995","unstructured":"Kraj\u00cd\u010cek, J., \u2018Bounded arithmetic, propositional logic and complexity theory\u2019, Encyclopedia of Mathematics and Its Applications 60, Cambridge University Press, Cambridge-New York-Melbourne, 1995."},{"key":"182692_CR9","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/1969668","volume":"65","author":"P. S. Mostert","year":"1957","unstructured":"Mostert, P. S., A. L. Shields, \u2018On the structure of semigroups on a compact manifold with boundary\u2019, Annals of Math. 65 (1957), 117\u2013143.","journal-title":"Annals of Math."},{"key":"182692_CR10","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(87)90083-1","volume":"52","author":"D. Mundici","year":"1987","unstructured":"Mundici, D., \u2018Satisfiability in many-valued sentential logic is NP-complete\u2019, Theor. Computer Sci. 52 (1987), 145\u2013153.","journal-title":"Theor. Computer Sci."},{"key":"182692_CR11","unstructured":"Ragaz, M., \u2018Arithmetische Klassifikation der Formelnmengen der unendlichwertigen Logik\u2019, Thesis, ETH Z\u00fcrich, 1981."},{"key":"182692_CR12","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF02023019","volume":"23","author":"M. Ragaz","year":"1983","unstructured":"Ragaz, M., \u2018Die Unentscheidbarkeit der einstelligen unendlichwertigen Pr\u00e4dikatenlogik\u2019, Arch. Math. Logik 23 (1983), 129\u2013139.","journal-title":"Arch. Math. Logik"},{"key":"182692_CR13","unstructured":"Rutledge, J. D., \u2018A preliminary investigation of the infinitely many-valued predicate calculus\u2019, Thesis, Cornell University, 1959."},{"key":"182692_CR14","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2964111","volume":"27","author":"B. Scarpellini","year":"1962","unstructured":"Scarpellini, B., \u2018Die Nichtaxiomatisierbarkeit des unendlichwertigen Pr\u00e4dikatenkalk\u00fcls von \u0141ukasiewicz\u2019, J. Symb. Log. 27 (1962), 159\u2013170.","journal-title":"J. Symb. Log."},{"key":"182692_CR15","volume-title":"Probabilistic metric spaces","author":"B. Schweizer","year":"1983","unstructured":"Schweizer, B., A. Sklar, Probabilistic metric spaces, North Holland, Amsterdam, 1983."},{"key":"182692_CR16","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"T. Takeuti","year":"1984","unstructured":"Takeuti, T., S. Titani, \u2018Intuitionistic fuzzy logic and intuitionistic fuzzy set theory\u2019, J. Symb. Log. 49 (1984), 851\u2013866.","journal-title":"J. Symb. Log."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005026229560.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005026229560\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005026229560.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:20:39Z","timestamp":1754630439000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005026229560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["182692"],"URL":"https:\/\/doi.org\/10.1023\/a:1005026229560","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}