{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:42Z","timestamp":1725488922339},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001249"},{"type":"electronic","value":"9783540361275"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36127-8_1","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T10:10:12Z","timestamp":1186827012000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["On Special Functions and Theorem Proving in Logics for \u2018Generally\u2019"],"prefix":"10.1007","author":[{"given":"Sheila R. M.","family":"Veloso","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo A. S.","family":"Veloso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,1,16]]},"reference":[{"key":"1_CR1","unstructured":"Gr\u00e1cio, M. C. G.: ItL\u00f3gicas Moduladas e Racioc\u00ednio sob Incerteza. D. Se. dissertation, Unicamp, Campinas (1999)."},{"key":"1_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-63385-5_31","volume-title":"Computational Logic and Proof Theory","author":"W. A. Carnielli","year":"1997","unstructured":"Carnielli, W. A. and Veloso, P. A. S.: Ultrafilter Logic and Generic Reasoning. In: Gottlob, G., Leitsch, A. and Mundici, D. (eds.): Computational Logic and Proof Theory. Lecture Notes in Computer Science, Vol. 1289, Springer-Verlag, Berlin (1997) 34\u201353."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF00485052","volume":"30","author":"L. A. Zadeh","year":"1975","unstructured":"Zadeh, L. A.: Fuzzy Logic and Approximate Reasoning. Synth\u00e8se 30 (1975) 407\u2013428.","journal-title":"Synth\u00e8se"},{"key":"1_CR4","volume-title":"Logics for Artificial Intelligence","author":"W. Turner","year":"1984","unstructured":"Turner, W.: Logics for Artificial Intelligence. Ellis Horwood, Chichester (1984)."},{"key":"1_CR5","volume-title":"Model Theory","author":"C. C. Chang","year":"1973","unstructured":"Chang, C. C. and Keisler, H. J.: Model Theory. North-Holland, Amsterdam (1973)."},{"key":"1_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":"1_CR7","unstructured":"Veloso, P. A. S. and Carnielli, W. A.: Logics for Qualitative Reasoning. CLE e-Prints 1 (2001) \n                    http:\/\/www.cle.unicamp.br\/e-prints\n                    \n                  ."},{"key":"1_CR8","unstructured":"Veloso, P. A. S.: On \u2018almost all\u2019 and some presuppositions. In: Pereira, L. C. P. D. and Wrigley, M. B. (eds.): Logic, Language and Knowledge. Manuscrito XXII (1999) 469\u2013505."},{"key":"1_CR9","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C. L. Chang","year":"1973","unstructured":"Chang, C. L. and Lee, R. C. T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York (1973)."},{"key":"1_CR10","unstructured":"Renter\u00eda, C. J., Haeusler, E. H. and Veloso, P. A. S.: NUL-Natural Deduction for Ultrafilter Logic. In: Natural Deduction 2001, Rio de Janeiro (2001) to appear as \u2018Dedu\u00e7\u00e2o Natural para L\u00f3gica de Ultrafiltros\u2019, Res. Rept, PUC-Rio, Rio de Janeiro."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36127-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T12:44:20Z","timestamp":1550753060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36127-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001249","9783540361275"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-36127-8_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}