{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:53Z","timestamp":1755220973432,"version":"3.43.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":["Synthese"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1023\/a:1005254826656","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"253-262","source":"Crossref","is-referenced-by-count":2,"title":["Multideductive Logic And The Theoretic-Formal Unification Of Physical Theories"],"prefix":"10.1007","volume":"125","author":[{"given":"Edelcio G.","family":"de Souza","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"255859_CR1","unstructured":"Bourbaki, N.: 1969, Theory of Sets, Hermann-Addison Wesley."},{"key":"255859_CR2","first-page":"1","volume":"8","author":"N. C. A. da Costa","year":"1987","unstructured":"da Costa, N. C. A.: 1987, 'O Conceito de Estrutura Em ci\u00eancia', Boletim da Sociedade Paranaense de Matem\u00e1tica\n8, 1\u201322.","journal-title":"Boletim da Sociedade Paranaense de Matem\u00e1tica"},{"key":"255859_CR3","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF00166367","volume":"29","author":"N. C. A. da Costa","year":"1988","unstructured":"da Costa, N. C. A. and R. Chuaqui: 1988, 'On Suppes' Set Theoretical Predicates', Erkenntnis\n29, 95\u2013112.","journal-title":"Erkenntnis"},{"key":"255859_CR4","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A. and F. A. Doria: 1992, 'Suppes Predicates for Classical Physics', in A. Ibarra (ed.), The Space of Mathematics.","DOI":"10.1515\/9783110870299.168"},{"key":"255859_CR5","unstructured":"da Costa, N. C. A. and F. A. Doria: 1992, 'Structures, Suppes Predicates and Boolean-Valued Models in Physics', in J. Hintikka (ed.), Festschrift in Honor of V. I. Ismirnov on his 60th Birthday."},{"issue":"1988","key":"255859_CR6","first-page":"248","volume":"57","author":"N. C. A. da Costa","year":"1988","unstructured":"da Costa, N. C. A. and S. French: 1988, 'The Model-Theoretic Approach in the Philosophy of Science', Philosophy of Science\n57, (1988), 248\u2013265.","journal-title":"Philosophy of Science"},{"key":"255859_CR7","unstructured":"da Costa, N. C. A., E. G. de Souza, O. Bueno, and M. Wertheyser: to appear, Multideductive Logic: An Application to Physics."},{"key":"255859_CR8","unstructured":"de Souza, E. G.: 1992, Estrutura e L\u00f3gica de Teorias F\u00edsicas. M.Sc. Dissertation. Department of Philosophy. University of S\u00e3o Paulo."},{"key":"255859_CR9","unstructured":"de Souza, E. G.: 1995, O Problema de Destouches e as L\u00f3gica Heterodoxas: Ensaio Sobre o Uso de L\u00f3gicas N\u00e3o-cl\u00e1ssicas no Tratamento de Inconsist\u00eancias em Teorias F\u00edsicas, Ph.D. Thesis. Department of Philosophy. University of S\u00e3o Paulo."},{"key":"255859_CR10","volume-title":"Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles","author":"R. Eisberg","year":"1974","unstructured":"Eisberg, R. and R. Resnick: 1974, Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles, John Wiley, London."},{"key":"255859_CR11","first-page":"843","volume":"201","author":"J.-L. Destouches","year":"1937","unstructured":"Destouches, J.-L.: 1937, 'L'unit\u00e9 de la Physique Th\u00e9orique', C. R. Acad. Paris\n201, 843\u2013845.","journal-title":"C. R. Acad. Paris"},{"key":"255859_CR12","unstructured":"Destouches, J.-L.: 1938, 'Essai sur L'unit\u00e9 de la Physique Th\u00e9orique', Bul. Scient. de l'\u00c9cole Politechinique de Timisoara, Rumania."},{"key":"255859_CR13","unstructured":"Destouches, J.-L.: 1942, Principes Fondamentaux de Physique Th\u00e9orique I: Orientation Pr\u00e9alable, Herman \u00c9diteurs."},{"key":"255859_CR14","first-page":"253","volume":"2","author":"J. C. C. McKinsey","year":"1953","unstructured":"McKinsey, J. C. C., A. C. Sugar, and P. Suppes: 1953, 'Axiomatic Foundations of Classical Particle Mechanics', J. Rational Mech. Anal.\n2, 253\u2013272.","journal-title":"J. Rational Mech. Anal."},{"key":"255859_CR15","doi-asserted-by":"crossref","unstructured":"Ruelle, D.: 1991, Chance and Chaos, Princeton University Press.","DOI":"10.1515\/9780691213958"},{"key":"255859_CR16","unstructured":"Shoenfield, J. R.: 1967, Mathematical Logic, Addison Wesley."},{"key":"255859_CR17","volume-title":"Introduction to Logic","author":"P. Suppes","year":"1957","unstructured":"Suppes, P.: 1957, Introduction to Logic, Van Nostrand, New York."},{"key":"255859_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3173-7","volume-title":"Studies in the Methology and Foundations of Science","author":"P. Suppes","year":"1969","unstructured":"Suppes, P.: 1969, Studies in the Methology and Foundations of Science, Reidel, Dordrecht."},{"key":"255859_CR19","unstructured":"Suppes, P.: 1970, Set-theoretical Methods in Science. Mimeographical notes. Stanford University."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005254826656.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005254826656\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005254826656.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:57:47Z","timestamp":1754632667000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005254826656"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["255859"],"URL":"https:\/\/doi.org\/10.1023\/a:1005254826656","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}