Re: [Logica-l] Paper

[Regivan Hugo Nunes Santiago]

Obrigado Claudio.

Regivan

Prof. Dr. Regivan Hugo Nunes Santiago
Group for Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Avenida Senador Salgado Filho, 3000,
Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan (Outdated)
e-mail: regivan AT DOMAIN=dimap,ufrn,br.


-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/71321DAD-F23B-40A2-B822-A0B4527C39DA%40dimap.ufrn.br.

Re: [Logica-l] Paper

[Claudio Andrés Callejas Olguín]

Boa tarde Regivan,

Fico contente em saber que você está de volta em teoria dos domínios. É uma
área belíssima!

Vou lhe enviar em privado o artigo que você está procurando.

Na minha tese de doutorado eu estudei e citei o artigo "Generalizing Domain
Theory" de Mislove. Lhe recomendo esse artigo de Mislove, porque ele fala
bastante do trabalho de Edalat, por isso também vou lhe enviar esse artigo
em privado.


Abraços,
Claudio Callejas.

Em dom, 3 de mai de 2020 14:03, Regivan Hugo Nunes Santiago <
regi...@dimap.ufrn.br> escreveu:

> Caríssimos,
>
> Alguém tem o paper:
>
> Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
> Abbas Edalat
> DOI: https://doi.org/10.2307/42109
>
> Não consigo baixar por aqui.
>
> Abraços,
> Regivan
> 
> Prof. Dr. Regivan Hugo Nunes Santiago
> Group for Logic, Language, Information, Theory and Applications - LoLITA
> Department of Informatics and Applied Mathematics - DIMAp
> Federal University of Rio Grande do Norte - UFRN
> Avenida Senador Salgado Filho, 3000,
> Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil
> Caixa Postal: 1679Phone: +55 84 3215-3814 Ext. 211
> Fax:  +55 84 3215-3813
> http://www.dimap.ufrn.br/~regivan (Outdated)
> e-mail: regivan AT DOMAIN=dimap,ufrn,br.
> 
>
> --
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/EDC725B0-862A-4991-AAD8-44D645CC37B0%40dimap.ufrn.br
> .
>

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e0%3Dmjc0p9dnT%2B98N51sToqDBJLh_u3qHspd2ypM0M-Fmg%40mail.gmail.com.

Re: [Logica-l] Paper do Gentzen

[Cicero]

Melhor impossível.

Obrigado, German!


> Olá Cícero,
>
> segue o artigo do Gentzen em diversas versões.
>
> Um abraço,
>
> German
>
> ​
>  GENTZEN_Collected_papers(arquivo em djvu, conte...
> 
> ​​
>  GENTZEN_Investigantion into logical deduction_M...
> 
> ​​
>  GENTZEN_Investigantion into logical deduction_M...
> 
> ​​
>  GENTZEN_Investigation into logical deduction_(o...
> 
> ​​
>  GENTZEN_Investigation into logical deduction_(t...
> 
> ​
>
> 2016-06-18 18:21 GMT-03:00 :
>
>> Caras(os),
>>
>> Saudações cordiais! Alguém teria como disponibilizar ou sabe como posso
>> ter acesso ao "Investigations into Logical Deduction" do Gentzen? Fico
>> muito grato. Abraços!
>>
>> Cícero
>>
>> --
>> 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 logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> 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/6c3343aeb97ed3eeba1d2b9716a8e586.squirrel%40webmail.lia.ufc.br
>> .
>>
>
> --
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> 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/CADO%3DY2bn9K0fhMbaqtpV2jn7bbJoCzM4Lj3Ygxw%3Dyrq%2BPM9mXA%40mail.gmail.com.
>


-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/c0c8eff66149fd9e64ff0b4172e4ed45.squirrel%40webmail.lia.ufc.br.

Re: [Logica-l] Paper do Gentzen

[German Lourenço Mejia]

Olá Cícero,

segue o artigo do Gentzen em diversas versões.

Um abraço,

German

​
 GENTZEN_Collected_papers(arquivo em djvu, conte...

​​
 GENTZEN_Investigantion into logical deduction_M...

​​
 GENTZEN_Investigantion into logical deduction_M...

​​
 GENTZEN_Investigation into logical deduction_(o...

​​
 GENTZEN_Investigation into logical deduction_(t...

​

2016-06-18 18:21 GMT-03:00 :

> Caras(os),
>
> Saudações cordiais! Alguém teria como disponibilizar ou sabe como posso
> ter acesso ao "Investigations into Logical Deduction" do Gentzen? Fico
> muito grato. Abraços!
>
> Cícero
>
> --
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> 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/6c3343aeb97ed3eeba1d2b9716a8e586.squirrel%40webmail.lia.ufc.br
> .
>

-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/CADO%3DY2bn9K0fhMbaqtpV2jn7bbJoCzM4Lj3Ygxw%3Dyrq%2BPM9mXA%40mail.gmail.com.

Re: [Logica-l] Paper

[Regivan Hugo Nunes Santiago]

Caríssimos,

muito obrigado pelo retorno.

Regivan

2010/5/11 Regivan Hugo Nunes Santiago regi...@dimap.ufrn.br

 Caríssimos,

 alguém tem o paper do A. Pnueli The Temporal Logic of Programs. Proc. of
 the 18th IEEE Symposium of Foundations of CS, pp. 46-57. 1977?

 Grato,
 Regivan

 --

 **
 Prof. Dr. Regivan Hugo Nunes Santiago
 Group of Logic, Language, Information, Theory and Applications - LoLITA
 Department of Informatics and Applied Mathematics - DIMAp
 Federal University of Rio Grande do Norte - UFRN
 Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
 Phone: +55 84 3215-3814 Ext. 228
 Fax:  +55 84 3215-3813
 http://www.dimap.ufrn.br/~regivan
 e-mail: regivan AT DOMAIN=dimap,ufrn,br.

 **




-- 
**
Prof. Dr. Regivan Hugo Nunes Santiago
Group of Logic, Language, Information, Theory and Applications - LoLITA
Department of Informatics and Applied Mathematics - DIMAp
Federal University of Rio Grande do Norte - UFRN
Campus Universitario, Lagoa Nova, 59.072-970, Natal, RN, Brasil
Phone: +55 84 3215-3814 Ext. 228
Fax:  +55 84 3215-3813
http://www.dimap.ufrn.br/~regivan
e-mail: regivan AT DOMAIN=dimap,ufrn,br.
**
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l