Logic Journal of IGPL

Logic Journal of IGPL Advance Access originally published online on October 12, 2007
Logic Journal of IGPL 2007 15(5-6):775-800; doi:10.1093/jigpal/jzm049

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Vana, L. B. Articles by Veloso, S. R. M. Search for Related Content Social Bookmarking          What's this?

© The Author, 2007. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Natural Deduction for ‘Generally’

Leonardo B. Vana and Paulo A. S. Veloso

Department of Systems and Computer Engineering, COPPE, Federal University of Rio de Janeiro (UFRJ) PO Box 68511, 21945-970, Rio de Janeiro, RJ, Brazil. E-mail: leobvana.veloso{at}cos.ufrj.br

Sheila R. M. Veloso

Department of Systems and Computer Engineering, State University of Rio de Janeiro (UERJ), Brazil. E-mail: srmv{at}bridge.com.br

Logics for ‘generally’ (LG’s) were introduced for handling assertions with vague notions (e.g. ‘generally’, ‘most’, ‘several’), which occur often in ordinary language and in science. LG’s provide a framework for distinct notions of ‘generally’: one builds a specific logic for the notion one has in mind. We introduce deductive systems, in natural deduction style, for LG’s and show that these systems are normalizable.

Key Words: Logics of ‘generally’ • natural deduction • normalization • generalized quantifiers • vague notions.

Received for publication 25 September 2006.

References

1. Barwise J, Cooper R. Generalized quantifiers and natural language. Linguistics and Philosophy. 4:159–219. 198.

2. Carnielli AW, Sette AM. Default operators. In: Abstracts of Workshop on Logic, Language, Information and Computation (1994) Recife.

3. Carnielli AW, Veloso PAS. Ultrafilter logic and generic reasoning. In: Computational Logic and Proof Theory (LNCS 1289): 34-53—Gottlob G, Leitsch A, Mundici D, eds. (1997) Berlin: Springer-Verlag.

4. Enderton HB. A Mathematical Introductionto Logic. (1972) New York: Academic Press.

5. Gentzen G. Investigations into logical deduction. In: The Collected Papers of Gerhard Gentzen—Szabo ME, ed. (1969) North-Holland, Amsterdan.

6. Keisler JH. Logic with the quantifier there exist uncountably many. Annals of Mathematical Logic (1970) 1:1–93.

7. Mostowski A. On a generalization of quantifiers. In: Fundamenta Mathematicae (1957) 44:1236.

8. Prawitz D. Natural Deduction: a proof-theoretical study. (1965) Stockholm: Almquist Wiksdell.

9. Renter’ia CJ, Haeusler EH, Veloso PAS. NUL: natural deduction forultrafilter logic. Bulletin of Section of Logic (2003) Volume 32(4):191–199.

10. Schlechta K. Defaults as generalized quantifiers. In: Journal of Logic and Computation (1995) 5:473–494.[Abstract/Free Full Text]

11. van Dalen D. Logic and Structure. (1989) 2. ed. Berlin: Springer-Verlag. 3. prt.

12. Vana LB, Veloso PAS, Veloso SRM. Sobre l’ogicas para geralmente em ambiente de dedução matural. In: XXV Congresso da SBC (ENIA V) (2005) 622–630.

13. Veloso PAS, Carnielli AW. Logics for qualitativereasoning. In: Logic, Epistemology and the Unity of Science—Gabbay D, Rahman S, Symons J, vanBendegem JP, eds. (2004) Dordretch: Kluwer Press. 487–526.

14. Veloso PAS, Vana LB, Veloso SRM. Natural deduction strategies for ‘generally’. (2005) Actas de la XI Conferencia de la Asociaci’on Española para la Inteligencia Artificial: Santiago de Compostela. 173–182.

15. Veloso PAS, Veloso SRM. On ultrafilter logic and special functions. Studia Logica (2004) 78:459–477.[CrossRef]

16. Veloso SRM, Veloso PAS. On special functions and theorem proving in logics for ‘generally’. Bittencourt G, Ramamlho GL, eds. (2002) Advances in Artificial Intelligence: 16th Brazilian Symposium in Artificial Intelligence (SBIA 2002) (LNAI2507). Berlin: Springer-Verlag. 1–10.

17. Veloso SRM, Veloso PAS. On logics for ‘generally’ and their relational interpretations. In: First World Congress on Universal Logic Handbook (2005) Montreux. 101–102.

CiteULike    Connotea    Del.icio.us    What's this?

This Article Abstract Full Text (PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to My Personal Archive Download to citation manager Request Permissions Google Scholar Articles by Vana, L. B. Articles by Veloso, S. R. M. Search for Related Content Social Bookmarking          What's this?