Olá Bruna, Eu não sei quase nada do assunto, mas vou dar um palpite: Que tal dar uma olhada no artigo de TROELSTRA no Handbook of Mahematical Logic de Barwise (ed.) para ter um panorama de algumas questões relacionadas? Se pessoal da lista achar que não é conveniente, por favor falem.
Carlos p. 984 Aspects of Constructive Mathematics A.S. TROELSTRA* Contents 1. Introduction. . 2. Logic ............ 3. Some languages, formal systems and notations; the Godel negative translation . 4. Realizability and Church's thesis. 5. Some elementary mathematics . 6. Continuity; choice sequences . 7. Lawless sequences 8. Markov's principle ......... 9. Truth-value semantics for intuitionistic logic; validity in all structures. 10. Finite type structures . . 11. The Dialectica interpretation . . . 12. Local and global constructivizations of classical theorems References . 2016-12-16 14:15 GMT-02:00 Marcelo Finger <[email protected]>: > Oi Bruna. > > Definitivamente exitem outras pessoas que entendem muito mais do que eu > sobre esse assunto, por exemplo, a profa Itala D'Ottavianno da Unicamp. > Mas se v me disser o que v conhece sobre algebra de Heyting, Teorema de > Godel e semântica de lógica intuicionista, eu poderia guiar você à > literatura. > > []s > > Marcelo > > > 2016-12-15 22:21 GMT-02:00 bruna souza <[email protected]>: > >> Olá, meu nome é Bruna sou aluna da graduação na UFSC, estava olhando o >> seu trabalho sobre o que creio eu é a aritmética de Heyting (já que pelo >> que pesquisei também há o cálculo de Heyting), porém não tenho muito >> conhecimento do assunto, você poderia me sugerir algum livro introdutório >> para que eu possa me interar desse modo de fazer aritmética? >> >> Boa noite, >> Bruna >> >> -- >> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >> Grupos do Google. >> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, >> envie um e-mail para [email protected]. >> Para postar nesse grupo, envie um e-mail para [email protected]. >> Acesse esse grupo em https://groups.google.com/a/di >> map.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/BLUPR15MB0513E7385B683630F3E2B1 >> 85FC9C0%40BLUPR15MB0513.namprd15.prod.outlook.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/BLUPR15MB0513E7385B683630F3E2B185FC9C0%40BLUPR15MB0513.namprd15.prod.outlook.com?utm_medium=email&utm_source=footer> >> . >> > > > > -- > Marcelo Finger > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CABqmzx3mE5RFJc4K% > 2B9WgGqEeCBWxnEZrAyHN48d--0XVmbJFgw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx3mE5RFJc4K%2B9WgGqEeCBWxnEZrAyHN48d--0XVmbJFgw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGJaJ%2B9gLhxr1L67AVkUGJqP5VvOrZS%2BhrDB0SKdXT8PnJsSgw%40mail.gmail.com.
