{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T04:21:22Z","timestamp":1683174082329},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch math Logik"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf02007562","type":"journal-article","created":{"date-parts":[[2005,8,11]],"date-time":"2005-08-11T12:49:28Z","timestamp":1123764568000},"page":"127-143","source":"Crossref","is-referenced-by-count":9,"title":["A theory of local negation: The model and some applications"],"prefix":"10.1007","volume":"25","author":[{"given":"Yvon","family":"Gauthier","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02007562_CR1","first-page":"195","volume":"I","author":"J.S. Bell","year":"1964","unstructured":"Bell, J.S.: On the Einstein-Podolsky-Rosen paradox. PhysicI, 195\u2013200 (1964).","journal-title":"Physic"},{"key":"BF02007562_CR2","volume-title":"Foundations of constructive analysis","author":"E. Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of constructive analysis. New York: McGraw-Hill 1967"},{"key":"BF02007562_CR3","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF01608976","volume":"42","author":"O. Bratelli","year":"1975","unstructured":"Bratelli, O., Robinson, D.W.: Unbounded derivations ofC* algebras. Commun. Math. Phys.42, 253\u2013268 (1975).","journal-title":"Commun. Math. Phys."},{"key":"BF02007562_CR4","volume-title":"The interpretation of quantum mechanics","author":"J. Bub","year":"1976","unstructured":"Bub, J.: The interpretation of quantum mechanics. Dordrecht: Reidel 1976."},{"key":"BF02007562_CR5","volume-title":"A la recherche du r\u00e9el","author":"B. D'Espagnat","year":"1979","unstructured":"D'Espagnat, B.: A la recherche du r\u00e9el. Paris: Gauthier-Villars 1979."},{"issue":"5","key":"BF02007562_CR6","doi-asserted-by":"crossref","first-page":"644","DOI":"10.1017\/S0022481200051215","volume":"41","author":"H. Swart de","year":"1976","unstructured":"de Swart, H.: Another intuitionitic completeness proof. J. Symb. Logic41, (5), 644\u2013662 (1976)","journal-title":"J. Symb. Logic"},{"key":"BF02007562_CR7","volume-title":"Elements of intuitionism","author":"M. Dummett","year":"1977","unstructured":"Dummett, M.: Elements of intuitionism, Oxford: Clarendon 1977."},{"key":"BF02007562_CR8","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1002\/malq.19770232704","volume":"23","author":"Y. Gauthier","year":"1977","unstructured":"Gauthier, Y.: Intuitionistic logic and local mathematical theories. Z. math. Logik Grundl. Math.23, 411\u2013414 (1977).","journal-title":"Z. math. Logik Grundl. Math."},{"key":"BF02007562_CR9","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.1007\/BF02080320","volume":"22","author":"Y. Gauthier","year":"1983","unstructured":"Gauthier, Y.: Quantum mechanics and the local observer. Int. J. Theor. Phys.22, 1141\u20131152 (1983).","journal-title":"Int. J. Theor. Phys."},{"key":"BF02007562_CR10","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01803674","volume":"XIV\/2","author":"Y. Gauthier","year":"1985","unstructured":"Gauthier, Y.: Proof-theoretical analysis of physical theories: the case of renormalization procedures in quantum field theories. Zeit. f\u00fcr allg. Wissenschaftsth.XIV\/2, 251\u2013260 (1985).","journal-title":"Zeit. f\u00fcr allg. Wissenschaftsth."},{"key":"BF02007562_CR11","first-page":"885","volume":"6","author":"A.M. Gleason","year":"1957","unstructured":"Gleason, A.M.: Measures on the closed subspaces of a Hilbert space. J. Math. Mechanics6, 885\u2013893 (1957).","journal-title":"J. Math. Mechanics"},{"key":"BF02007562_CR12","volume-title":"Topoi, Studies in Logic and Foundations of Mathematics, Vol. 98","author":"R. Goldblatt","year":"1979","unstructured":"Goldblatt, R.:Topoi, Studies in Logic and Foundations of Mathematics, Vol. 98. Amsterdam, New York, Oxford: North-Holland 1979."},{"key":"BF02007562_CR13","volume-title":"Introduction to Hilbert space and the theory of spectral multiplicity","author":"P.R. Halmos","year":"1957","unstructured":"Halmos, P.R.: Introduction to Hilbert space and the theory of spectral multiplicity, 2nd ed. New York: Chelsea 1957.","edition":"2nd ed."},{"key":"BF02007562_CR14","first-page":"59","volume":"17","author":"S. Kochen","year":"1967","unstructured":"Kochen, S., Specker, E.P.: The problem of hidden variables in quantum mechanics. J. Math. Mechanics17, 59\u201387 (1967).","journal-title":"J. Math. Mechanics"},{"key":"BF02007562_CR15","first-page":"133","volume-title":"Proof theory and intuitionism","author":"G. Kreisel","year":"1970","unstructured":"Kreisel, G.: Church's thesis: a kind of reducibility axiom for constructive mathematics. Proof theory and intuitionism, pp. 133\u2013134. Myhill, J., Kino, A., Vesley, R.E. (eds.). Amsterdam: North-Holland 1970"},{"issue":"1","key":"BF02007562_CR16","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/2268973","volume":"14","author":"D. Nelson","year":"1949","unstructured":"Nelson, D.: Constructible falsity. J. Symb. Logic14, (1), 16\u201326 (1949).","journal-title":"J. Symb. Logic"},{"key":"BF02007562_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0022-1236(75)90031-2","volume":"18","author":"R.T. Powers","year":"1975","unstructured":"Powers, R.T.: A remark on the domain of an unbounded derivation of aC* algebra. J. Funct. Analysis18, 85\u201395 (1975).","journal-title":"J. Funct. Analysis"},{"key":"BF02007562_CR18","unstructured":"Rasiowa, H., Sikorski, R.: The mathematics of metamathematics, 3rd ed. Warszawa 1970."},{"key":"BF02007562_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61993-9","volume-title":"C* algebras andW* algebras","author":"S. Sakai","year":"1971","unstructured":"Sakai, S.:C* algebras andW* algebras. Berlin, Heidelberg, New York: Springer 1971."},{"key":"BF02007562_CR20","first-page":"709","volume":"II","author":"S. Sakai","year":"1980","unstructured":"Sakai, S.: Recent developments in the theory of unbounded derivations inC* algebras. Proc. Int. Congress of Math., Vol. II, pp. 709\u2013714. Helsinki 1980.","journal-title":"Proc. Int. Congress of Math."},{"key":"BF02007562_CR21","volume-title":"Mathematical cosmology and extragalactic astronomy","author":"I.E. Segal","year":"1976","unstructured":"Segal, I.E.: Mathematical cosmology and extragalactic astronomy, New York: Academic Press 1976."},{"key":"BF02007562_CR22","volume-title":"Choice sequences","author":"A.S. Troelstra","year":"1977","unstructured":"Troelstra, A.S.: Choice sequences. Oxford: Clarendon 1977."},{"issue":"1","key":"BF02007562_CR23","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2272955","volume":"41","author":"Veldman","year":"1976","unstructured":"Veldman: An intuitionistic completeness theorem for intuitionistic predicate logic. J. Symb. Logic41, (1), 159\u2013166 (1976).","journal-title":"J. Symb. Logic"},{"key":"BF02007562_CR24","volume-title":"Functional operators, Vol. II. The geometry of orthogonal spaces","author":"J. Neumann von","year":"1950","unstructured":"von Neumann, J.: Functional operators, Vol. II. The geometry of orthogonal spaces. Princeton: Princeton University Press 1950."},{"key":"BF02007562_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-00781-5","volume-title":"Functional analysis","author":"K. Yosida","year":"1971","unstructured":"Yosida, K.: Functional analysis, 3rd ed. Berlin, Heidelberg, New York: Springer 1971.","edition":"3rd ed."}],"container-title":["Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007562.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02007562\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02007562","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T03:38:26Z","timestamp":1683171506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02007562"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF02007562"],"URL":"https:\/\/doi.org\/10.1007\/bf02007562","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}