{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T05:32:51Z","timestamp":1761975171950},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,12,25]],"date-time":"2010-12-25T00:00:00Z","timestamp":1293235200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s11225-010-9300-4","type":"journal-article","created":{"date-parts":[[2010,12,24]],"date-time":"2010-12-24T02:18:07Z","timestamp":1293157087000},"page":"101-126","source":"Crossref","is-referenced-by-count":4,"title":["The Quasi-lattice of Indiscernible Elements"],"prefix":"10.1007","volume":"97","author":[{"given":"Mauri","family":"Cunha do Nascimento","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D\u00e9cio","family":"Krause","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9rcules","family":"de Ara\u00fajo Feitosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,12,25]]},"reference":[{"key":"9300_CR1","unstructured":"Arenhart, J.R. B., T\u00f3picos em Teoria de Quase-Conjuntos e Filosofia da Mec\u00e2nica Qu\u00e2ntica, Disserta\u00e7\u00e3o (Mestrado em Filosofia), Universidade Federal de Santa Catarina, 2008."},{"key":"9300_CR2","volume-title":"A course in mathematical logic","author":"J.L. Bell","year":"1977","unstructured":"Bell J.L., Machover M. (1977) A course in mathematical logic. North-Holland, Amsterdam"},{"key":"9300_CR3","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff G., von Neumann J. (1936) \u2018The logic of quantum mechanics\u2019. Annals of Mathematics 37: 823\u2013843","journal-title":"Annals of Mathematics"},{"key":"9300_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., Rijke M., Venema Y. (2001) Modal logic. Cambridge University Press, Cambridge"},{"key":"9300_CR5","volume-title":"Modalit\u00e0 e multimodalit\u00e0","author":"W.A. Carnielli","year":"2001","unstructured":"Carnielli W.A., Pizzi C. (2001) Modalit\u00e0 e multimodalit\u00e0. Milano, Franco Angeli"},{"key":"9300_CR6","volume-title":"Interpreting Bodies, Classical and Quantum Objects in Modern Physics","year":"1998","unstructured":"Castellani, E. (ed.) (1998) Interpreting Bodies, Classical and Quantum Objects in Modern Physics. Princeton Un. Press, Princeton"},{"key":"9300_CR7","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal logic","author":"A. Chagrov","year":"1997","unstructured":"Chagrov A., Zakharyaschev M. (1997) Modal logic. Clarendon Press, Oxford"},{"issue":"1","key":"9300_CR8","doi-asserted-by":"crossref","first-page":"44","DOI":"10.2307\/2268814","volume":"2","author":"A. Church","year":"1937","unstructured":"Church A. (1937) Review of \u2018The logic of quantum mechanics\u2019. Journal of Symbolic Logic 2(1): 44\u201345","journal-title":"Journal of Symbolic Logic"},{"key":"9300_CR9","unstructured":"da Costa, N.C.A., Generalized Logics, v. 2. Preliminary Version. Florian\u00f3polis, Federal University of Santa Catarina, 2006."},{"key":"9300_CR10","unstructured":"da Costa, N.C.A., Ensaio sobre os Fundamentos da L\u00f3gica, S\u00e3o Paulo, Hucitec-EdUSP, 1980."},{"key":"9300_CR11","doi-asserted-by":"crossref","unstructured":"da Costa N.C.A., Krause D. (1994) \u2018Schr\u00f6dinger logic\u2019. Studia Logica 53(4): 533\u201350","DOI":"10.1007\/BF01057649"},{"issue":"2","key":"9300_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1305\/ndjfl\/1039724886","volume":"38","author":"N.C.A. da Costa","year":"1997","unstructured":"da Costa N.C.A., Krause D. (1997) \u2018An intensional Schr\u00f6dinger logic\u2019. Notre Dame Journal of Formal Logic 38(2): 179\u2013194","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9300_CR13","first-page":"1","volume":"15","author":"N.C.A. da Costa","year":"2007","unstructured":"da Costa N.C.A., Krause D. (2007) \u2018Logical and Philosophical Remarks on Quasi-Set Theory\u2019. Logic Journal of the IGPL 15: 1\u201320","journal-title":"Logic Journal of the IGPL"},{"key":"9300_CR14","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M. L., R. Giuntini, and D. Krause, Quasiset theories for microobjects, a comparision, in Castellani 1998, pp. 142\u2013152.","DOI":"10.1515\/9780691222042-011"},{"key":"9300_CR15","doi-asserted-by":"crossref","unstructured":"Dalla Chiara, M. L., R. Giuntini, and R. Greechie, Reasoning in Quantum Theory, Sharp and Unsharp Quantm Logics, Dordrech, Kluwer Ac. Pu, 2004.","DOI":"10.1007\/978-94-017-0526-4"},{"issue":"6","key":"9300_CR16","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/s10701-007-9129-5","volume":"37","author":"G. Domenech","year":"2007","unstructured":"Domenech G., Holik F. (2007) \u2018A discussion on particle number and quantum indistinguishability\u2019. Foundations of Physics 37(6): 855\u2013878","journal-title":"Foundations of Physics"},{"issue":"11","key":"9300_CR17","doi-asserted-by":"crossref","first-page":"969","DOI":"10.1007\/s10701-008-9246-9","volume":"38","author":"G. Domenech","year":"2008","unstructured":"Domenech G., Holik F., Krause D. (2008) \u2018Q-spaces and the foundations of quantum mechanics\u2019. Foundations of Physics 38(11): 969\u2013994","journal-title":"Foundations of Physics"},{"key":"9300_CR18","doi-asserted-by":"crossref","unstructured":"Domenech, G., F. Holik, L. Kniznik, and D. Krause, \u2018No Labeling Quantum Mechanics of Indiscernible Particles\u2019, International J. Theoretical Physics, 2010. doi: 10.1007\/s10773-009-0220-x .","DOI":"10.1007\/s10773-009-0220-x"},{"issue":"3","key":"9300_CR19","doi-asserted-by":"crossref","first-page":"463","DOI":"10.2307\/2272197","volume":"40","author":"M. Drieschner","year":"1975","unstructured":"Drieschner M. (1975) \u2018Review of J. Kotas \u2018Axioms for Birkhoff-von Neumann quantum logic\u2019\u2019. Journal of Symbolic Logic 40(3): 463\u2013464","journal-title":"Journal of Symbolic Logic"},{"key":"9300_CR20","volume-title":"Mathematical logic","author":"H.D. Ebbinghaus","year":"1984","unstructured":"Ebbinghaus H.D., Flum J., Thomas W. (1984) Mathematical logic. Springer-Verlag, New York"},{"key":"9300_CR21","volume-title":"Particle Metaphysics, A Critical Account of Subatomic Reality","author":"B. Falkenburg","year":"2007","unstructured":"Falkenburg B. (2007) Particle Metaphysics, A Critical Account of Subatomic Reality. Springer, New York"},{"key":"9300_CR22","unstructured":"Feitosa, H. A., M.C.C. Gr\u00e1cio, and M.C. Nascimento, A propositional logic for Tarski\u2019s consequence operator, Campinas, CLE E-prints, 2007, pp. 1\u201313."},{"key":"9300_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-order modal logic","author":"M. Fitting","year":"1998","unstructured":"Fitting M., Mendelsohn R.L. (1998) First-order modal logic. Kluwer, Dordrecht"},{"key":"9300_CR24","doi-asserted-by":"crossref","unstructured":"French, S., On whitering away of physical objects, in Castellani (ed.), 1998, pp. 93\u2013113.","DOI":"10.1515\/9780691222042-009"},{"key":"9300_CR25","doi-asserted-by":"crossref","DOI":"10.1093\/0199278245.001.0001","volume-title":"Identity in Physics, A Historical, Philosophical, and Formal Analysis","author":"S. French","year":"2006","unstructured":"French S., Krause D. (2006) Identity in Physics, A Historical, Philosophical, and Formal Analysis. Oxford Un. Press, Oxford"},{"key":"9300_CR26","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s11225-010-9249-3","volume":"95","author":"S. French","year":"2010","unstructured":"French S., Krause D. (2010) \u2018Remarks on the theory of quasi-sets\u2019. Studia Logica 95: 97\u2013120","journal-title":"Studia Logica"},{"key":"9300_CR27","volume-title":"Logic for mathematicians","author":"A.G. Hamilton","year":"1978","unstructured":"Hamilton A.G. (1978) Logic for mathematicians. Cambridge University Press, Cambridge"},{"key":"9300_CR28","unstructured":"Hughes, R.I.G., The Structure and Interpretation of Quantum Mechanics, Cambridge, MA and London, 2003, 7 th printing."},{"issue":"1","key":"9300_CR29","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF02123412","volume":"21","author":"J. Kotas","year":"1967","unstructured":"Kotas J. (1967) \u2018An axiom system for modular logic\u2019. Studia Logica 21(1): 17\u201337","journal-title":"Studia Logica"},{"issue":"1","key":"9300_CR30","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1093\/jigpal\/jzi007","volume":"13","author":"D. Krause","year":"2005","unstructured":"Krause D. (2005) \u2018Structures and structural Realism\u2019. Logic Journal of IGPL 13(1): 113\u2013126","journal-title":"Logic Journal of IGPL"},{"key":"9300_CR31","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1305\/ndjfl\/1093634404","volume":"33","author":"D. Krause","year":"1992","unstructured":"Krause D. (1992) \u2018On a quasi-set Theory\u2019. Notre Dame Journal of Formal Logic 33: 402\u2013411","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9300_CR32","unstructured":"Krause, D., \u2018Axioms for collections of indistinguishable objects\u2019, Logique et Analyse 153\u2013154: 69\u201393, 1996."},{"issue":"1\/2","key":"9300_CR33","first-page":"73","volume":"20","author":"D. Krause","year":"2002","unstructured":"Krause D. (2002) \u2018Why quasi\u2013sets?\u2019. Boletim da Sociedade Paranaense de Matem\u00e1tica 20(1\/2): 73\u201392","journal-title":"Boletim da Sociedade Paranaense de Matem\u00e1tica"},{"key":"9300_CR34","unstructured":"Krause, D., A. S. Sant\u2019anna, and A. Sartorelli, \u2018On the concept of identity in Zermelo-Fraenkel-like axioms and its relationships with quantum Statistics\u2019, Logique et Analyse 48, n. 189-192: 231\u2013260, 2005."},{"key":"9300_CR35","unstructured":"Leibniz, G.W., \u2018On the Principle of Indiscernibles\u2019, in G. W. Leibniz, Philosophical Writings, Vermont, Everyman, 1995, pp. 133\u2013135."},{"issue":"2","key":"9300_CR36","doi-asserted-by":"crossref","first-page":"615","DOI":"10.2307\/2274651","volume":"55","author":"J. Malinowski","year":"1990","unstructured":"Malinowski J. (1990) \u2018The deduction theorem for quantum logic\u2014some negative results\u2019. Journal of Symbolic Logic 55(2): 615\u2013625","journal-title":"Journal of Symbolic Logic"},{"issue":"12","key":"9300_CR37","first-page":"1","volume":"42","author":"N.D. Megill","year":"2003","unstructured":"Megill N.D., Pavi\u010di\u0107 M. (2003) \u2018Quantum implication algebras\u2019. Int. J. Theor. Physics 42(12): 1\u201321","journal-title":"Int. J. Theor. Physics"},{"key":"9300_CR38","unstructured":"Mendelson, E., Introduction to Mathematical Logic, New York, Chapman & Hall, 4th ed., 1997."},{"key":"9300_CR39","unstructured":"Miraglia, F., C\u00e1lculo proposicional, uma intera\u00e7\u00e3o da \u00e1lgebra e da l\u00f3gica, Campinas, UNICAMP\/CLE. (Cole\u00e7\u00e3o CLE, v. 1) 1987."},{"issue":"1","key":"9300_CR40","first-page":"19","volume":"23","author":"M.C. Nascimento","year":"2005","unstructured":"Nascimento M.C., Feitosa H.A. (2005) \u2018As \u00e1lgebras dos operadores de conseq\u00fc\u00eancia\u2019. S\u00e3o Paulo, Revista de Matem\u00e1tica e Estat\u00edstica 23(1): 19\u201330","journal-title":"S\u00e3o Paulo, Revista de Matem\u00e1tica e Estat\u00edstica"},{"key":"9300_CR41","unstructured":"Post, H., \u2018Individuality and Physics\u2019, The Listener 10, October: 534\u2013537, 1963. Reprinted in Vedanta for East and West, 132: 14\u201322, 1973."},{"key":"9300_CR42","volume-title":"An algebraic approach to non\u2013classical logics","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa H. (1974) An algebraic approach to non\u2013classical logics. North-Holland, Amsterdam"},{"key":"9300_CR43","unstructured":"Rasiowa, H., and R. Sikorski, The mathematics of metamathematics. 2. ed. Waszawa, PWN \u2013 Polish Scientific Publishers, 1968."},{"key":"9300_CR44","doi-asserted-by":"crossref","unstructured":"M. R\u00e9dei, \u2018The birth of quantum logic\u2019. History and Philosophy of Logic, v. 28, May: 107\u2013122, 2007.","DOI":"10.1080\/01445340601113955"},{"issue":"10","key":"9300_CR45","first-page":"206","volume":"16","author":"L. Rom\u00e1n","year":"2006","unstructured":"Rom\u00e1n L. (2006) \u2018A characterization of quantic quantifiers in orthomodular lattices\u2019. Theory and Applications of Categories 16(10): 206\u2013217","journal-title":"Theory and Applications of Categories"},{"key":"9300_CR46","unstructured":"S\u00e1nchez, C.H., \u2018La l\u00f3gica de la mec\u00e1nica cu\u00e1ntica\u2019, Lecturas Mathem\u00e1ticas, v. 1, (6), n. 1, 2, 3: 17\u201342, 1980"},{"key":"9300_CR47","unstructured":"Schr\u00f6dinger, E., Science and Humanism, Cambridge, Cambridge Un. Press, Cambridge, 1952."},{"key":"9300_CR48","doi-asserted-by":"crossref","unstructured":"Schr\u00f6dinger, E., What is an elementary particle? Reprinted in Castellani, 1998, pp. 197\u2013210.","DOI":"10.1515\/9780691222042-015"},{"key":"9300_CR49","volume-title":"An Interpretative Introduction to Quantum Field Theory","author":"P. Teller","year":"1995","unstructured":"Teller P. (1995) An Interpretative Introduction to Quantum Field Theory. Princeton Un Press, Pricenton"},{"key":"9300_CR50","doi-asserted-by":"crossref","unstructured":"van Fraassen, B., The problem of indistinguishable particles, in Castellani 1998, pp. 73\u201392.","DOI":"10.1515\/9780691222042-008"},{"key":"9300_CR51","volume-title":"Topology via logic","author":"S. Vickers","year":"1990","unstructured":"Vickers S. (1990) Topology via logic. Cambridge University Press, Cambridge"},{"key":"9300_CR52","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R., Theory of logical calculi: basic theory of consequence operations, Dordrecht, Kluwer, 1988. (Synthese Library, v. 199).","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9300-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9300-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9300-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T07:58:39Z","timestamp":1712044719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9300-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,25]]},"references-count":52,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["9300"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9300-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,25]]}}}