{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T00:27:06Z","timestamp":1676852826425},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2004,12,1]],"date-time":"2004-12-01T00:00:00Z","timestamp":1101859200000},"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":[[2004,12]]},"DOI":"10.1007\/s11225-004-6045-y","type":"journal-article","created":{"date-parts":[[2005,3,15]],"date-time":"2005-03-15T13:51:03Z","timestamp":1110894663000},"page":"459-477","source":"Crossref","is-referenced-by-count":5,"title":["On Ultrafilter Logic and Special Functions"],"prefix":"10.1007","volume":"78","author":[{"given":"Paulo A. S.","family":"Veloso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila R. M.","family":"Veloso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Model-Theoretic Logics","author":"J. Barwise","year":"1985","unstructured":"Barwise, J. and S. Feferman, Model-Theoretic Logics, Springer-Verlag, New York, 1985."},{"key":"CR2","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. L. Chang","year":"1973","unstructured":"Chang, C. L. and R. C. T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973."},{"key":"CR3","unstructured":"Carnielli, W.A. and A.M. Sette, ?Default operators?, Abstr. Workshop on Logic, Language, Information and Computation, Recife, 1994."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-63385-5_31","volume-title":"Computational Logic and Proof Theory (LNCS 1289)","author":"W. A. Carnielli","year":"1997","unstructured":"Carnielli, W. A. and P. A. S., Veloso, ?Ultrafilter Logic and Generic Reasoning?, G. Gottlob, A. Leitsch, and D. Mundici, (eds.) Computational Logic and Proof Theory (LNCS 1289): 34?53, Springer-Verlag, Berlin, 1997."},{"key":"CR5","volume-title":"Model Theory","author":"C. C. Chang","year":"1973","unstructured":"Chang, C. C. and H. J. Keisler, Model Theory North-Holland, Amsterdam, 1973."},{"key":"CR6","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"Enderton, H. B., A Mathematical Introduction to Logic Academic Press; New York, 1972."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1023\/A:1022979812887","volume":"73","author":"A. Fuhrmann","year":"2003","unstructured":"Fuhrmann, A., ?Some Remarks on Ultrafilter Logic?, Studia Logica 73: 197?207, 2003 Special issue on Belief Revision,dedicated to S. O. Hansson?s 50th birthday; Olsson, E. J. (ed.).","journal-title":"Studia Logica"},{"key":"CR8","unstructured":"Gr\u00e1cio, M. C. G., Lgicas Moduladas e Racioc\u00ednio sob Incerteza. D. Sc. dissertation, Unicamp, Campinas (1999)."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., ?A Logic for Default Reasoning?, Artif. Intellig. 13: 81?123, 1980.","journal-title":"Artif. Intellig."},{"issue":"4","key":"CR10","first-page":"191","volume":"32","author":"C. J. Renter\u00eda","year":"2003","unstructured":"Renter\u00eda, C. J., E. H. Haeusler, and P. A. S. Veloso, ?NUL-Natural Deduction for Ultrafilter Logic?. Bulletin of the Section of Logic 32(4):191?199, 2003 abstract in Natural Deduction 2001, Rio de Janeiro, 2001.","journal-title":"Bulletin of the Section of Logic"},{"key":"CR11","first-page":"127","volume-title":"Pratica: Proofs, Types and Categories","author":"A. M. Sette","year":"1999","unstructured":"Sette, A. M., W. A. Carnielli, and P. A. S. Veloso, ?An Alternative View of Default Reasoning and its Logic?, in Haeusler, E. H. and Pereira, L. C. (eds.) Pratica: Proofs, Types and Categories: 127?158, PUC-Rio, Rio de Janeiro, 1999."},{"key":"CR12","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"Shoenfield, J. R., Mathematical Logic, Addison-Wesley, Reading, 1967."},{"key":"CR13","volume-title":"Logics for Artificial Intelligence","author":"W. Turner","year":"1984","unstructured":"Turner, W., Logics for Artificial Intelligence, Ellis Horwood, Chichester, 1984."},{"issue":"2","key":"CR14","first-page":"469","volume":"XXII","author":"P. A. S. Veloso","year":"1999","unstructured":"Veloso, P. A. S., ?On ?almost all? and some Presuppositions?, Manuscrito XXII(2): 469?505, 1999 Special issue Logic, Language and Knowledge: essays in honour of Oswaldo Chateaubriand Filho; Pereira, L. C. P. D. and Wrigley, M. B.(eds.).","journal-title":"Manuscrito"},{"key":"CR15","first-page":"270","volume-title":"Logic, Artificial Intelligence and Robotics - Proc. LAPTEC 2001","author":"P. A. S. Veloso","year":"2001","unstructured":"Veloso, P. A. S., ?On Interpolation and Modularity for Ultrafilter Logic?, in In Abe, J. M. and Silva Filho, J. I. (eds.) Logic, Artificial Intelligence and Robotics - Proc. LAPTEC 2001: 270?278, IOS Press, Amsterdam, 2001."},{"issue":"1","key":"CR16","first-page":"191","volume":"XXV","author":"P. A. S. Veloso","year":"2002","unstructured":"Veloso, P. A. S., ?On a Logic for ?almost all? and ?generic? Reasoning?, Manuscrito XXV(1): 191?271, 2002.","journal-title":"Manuscrito"},{"key":"CR17","unstructured":"Veloso, P. A. S. and W. A. Carnielli, ?Logics for Qualitative Reasoning?, CLE e-Prints 1, 2001 http:\/\/www.cle.unicamp.br\/e-prints."},{"key":"CR18","first-page":"1","volume-title":"Advances in Artificial Intelligence: 16th Brazilian Symposium in Artificial Intelligence (LNAI 2507)","author":"S. R. M. Veloso","year":"2002","unstructured":"Veloso, S. R. M. and P. A. S. Veloso, ?On Special Functions and Theorem Proving in Logics for ?Generally??, in Bittencourt, G. and Ramalho, G. L. (eds.) Advances in Artificial Intelligence: 16th Brazilian Symposium in Artificial Intelligence (LNAI 2507): 1?10, Springer-Verlag, Berlin, 2002."},{"key":"CR19","first-page":"407","volume":"30","author":"L. A. Zadeh","year":"1975","unstructured":"Zadeh L. A., ?Fuzzy Logic and Approximate Reasoning?, Synth\u00e9se 30: 407?428, 1975.","journal-title":"Synth\u00e9se"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-004-6045-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-004-6045-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-004-6045-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:37Z","timestamp":1559384677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-004-6045-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,12]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,12]]}},"alternative-id":["6045"],"URL":"https:\/\/doi.org\/10.1007\/s11225-004-6045-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,12]]}}}