[Logica-l] A note In Memoriam of Edgard George Kenneth (Ken) Lopez-Escobar
In Memoriam: Edgard George Kenneth (Ken) López-Escobar, professor of logic at the Department of Mathematics of the University of Maryland, died September 1, 2011 in Annapolis, MD. He worked on model theory and proof theory, with special interests in intuitionistic proof systems and also in the history of mathematics. He received his Ph.D. in 1965 at the University of California, Berkeley, under the supervision of Dana Scott, and supervised the PhD thesis of Xavier Caicedo at the University of Maryland (1978) and Ralph Kopperman at the Massachusetts Institute of Technology (1966). López-Escobar was for more than 20 years a foreign member of the “Centre for Logic, Epistemology and the History of Science – CLE” at the State University of Campinas – UNICAMP, Brazil, as well as a member of the “Brazilian Logic Society”. He visited Brazil several times, as invited researcher at UNICAMP, and as invited keynote speaker in Brazilian Logic Meetings and was co-author of papers and books with Brazilian logicians. He also participated in several Latin American Symposia on Mathematical Logic - SLALMs, in Brazil, Chile, Colombia, Costa Rica and Venezuela, having much contributed for their organization. We, who had the privilege to share his friendship, would like to announce that the 17th Brazilian Logic Conference (EBL 2013) is planned to be held in his honor, in 2013. Prof. Walter Carnielli, Director of the Centre for Logic, Epistemology and the History of Science Prof. Itala M. Loffredo D`Ottaviano, President of the Brazilian Logic Society --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] A note In Memoriam of Edgard George Kenneth (Ken) Lopez-Escobar
Otima ideia Walter! valeria 2011/10/26 Walter Carnielli : > In Memoriam: > > Edgard George Kenneth (Ken) López-Escobar, professor > of logic at the Department of Mathematics of the University of > Maryland, died September 1, 2011 in Annapolis, MD. He worked on > model theory and proof theory, with special interests in > intuitionistic proof systems and also in the history of > mathematics. He received his Ph.D. in 1965 at the University of > California, Berkeley, under the supervision of Dana Scott, and > supervised the PhD thesis of Xavier Caicedo at the University > of Maryland (1978) and Ralph Kopperman at the Massachusetts > Institute of Technology (1966). > > López-Escobar was for more than 20 years a foreign member of the > “Centre for Logic, Epistemology and the History of Science – CLE” > at the State University of Campinas – UNICAMP, Brazil, as well > as a member of the “Brazilian Logic Society”. > > He visited Brazil several times, as invited researcher at > UNICAMP, and as invited keynote speaker in Brazilian Logic > Meetings and was co-author of papers and books with Brazilian > logicians. He also participated in several Latin American > Symposia on Mathematical Logic - SLALMs, in Brazil, Chile, > Colombia, Costa Rica and Venezuela, having much contributed for > their organization. > > We, who had the privilege to share his friendship, would like to > announce that the 17th Brazilian Logic Conference (EBL 2013) is > planned to be held in his honor, in 2013. > > > Prof. Walter Carnielli, Director of the Centre for Logic, > Epistemology and the History of Science > > > Prof. Itala M. Loffredo D`Ottaviano, President of the Brazilian > Logic Society > > --- > Prof. Dr. Walter Carnielli > Director > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: walter.carnie...@cle.unicamp.br > Website: http://www.cle.unicamp.br/prof/carnielli > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/www/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] A note In Memoriam of Edgard George Kenneth (Ken) Lopez-Escobar
Concordo plenamente que a ideia e ótima D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 26/10/2011, às 15:09, Valeria de Paiva escreveu: > Otima ideia Walter! > valeria > > 2011/10/26 Walter Carnielli : >> In Memoriam: >> >> Edgard George Kenneth (Ken) López-Escobar, professor >> of logic at the Department of Mathematics of the University of >> Maryland, died September 1, 2011 in Annapolis, MD. He worked on >> model theory and proof theory, with special interests in >> intuitionistic proof systems and also in the history of >> mathematics. He received his Ph.D. in 1965 at the University of >> California, Berkeley, under the supervision of Dana Scott, and >> supervised the PhD thesis of Xavier Caicedo at the University >> of Maryland (1978) and Ralph Kopperman at the Massachusetts >> Institute of Technology (1966). >> >> López-Escobar was for more than 20 years a foreign member of the >> “Centre for Logic, Epistemology and the History of Science – CLE” >> at the State University of Campinas – UNICAMP, Brazil, as well >> as a member of the “Brazilian Logic Society”. >> >> He visited Brazil several times, as invited researcher at >> UNICAMP, and as invited keynote speaker in Brazilian Logic >> Meetings and was co-author of papers and books with Brazilian >> logicians. He also participated in several Latin American >> Symposia on Mathematical Logic - SLALMs, in Brazil, Chile, >> Colombia, Costa Rica and Venezuela, having much contributed for >> their organization. >> >> We, who had the privilege to share his friendship, would like to >> announce that the 17th Brazilian Logic Conference (EBL 2013) is >> planned to be held in his honor, in 2013. >> >> >> Prof. Walter Carnielli, Director of the Centre for Logic, >> Epistemology and the History of Science >> >> >> Prof. Itala M. Loffredo D`Ottaviano, President of the Brazilian >> Logic Society >> >> --- >> Prof. Dr. Walter Carnielli >> Director >> Centre for Logic, Epistemology and the History of Science – CLE >> State University of Campinas –UNICAMP >> 13083-859 Campinas -SP, Brazil >> Phone: (+55) (19) 3521-6517 >> Fax: (+55) (19) 3289-3269 >> Institutional e-mail: walter.carnie...@cle.unicamp.br >> Website: http://www.cle.unicamp.br/prof/carnielli >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/www/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] A note In Memoriam of Edgard George Kenneth (Ken) Lopez-Escobar
d/accord! 2011/10/26 Décio Krause > Concordo plenamente que a ideia e ótima > D > > -- > Décio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-900 Florianópolis - SC - Brasil > http://www.cfh.ufsc.br/~dkrause > -- > > > Em 26/10/2011, às 15:09, Valeria de Paiva > escreveu: > > > Otima ideia Walter! > > valeria > > > > 2011/10/26 Walter Carnielli : > >> In Memoriam: > >> > >> Edgard George Kenneth (Ken) López-Escobar, professor > >> of logic at the Department of Mathematics of the University of > >> Maryland, died September 1, 2011 in Annapolis, MD. He worked on > >> model theory and proof theory, with special interests in > >> intuitionistic proof systems and also in the history of > >> mathematics. He received his Ph.D. in 1965 at the University of > >> California, Berkeley, under the supervision of Dana Scott, and > >> supervised the PhD thesis of Xavier Caicedo at the University > >> of Maryland (1978) and Ralph Kopperman at the Massachusetts > >> Institute of Technology (1966). > >> > >> López-Escobar was for more than 20 years a foreign member of the > >> “Centre for Logic, Epistemology and the History of Science – CLE” > >> at the State University of Campinas – UNICAMP, Brazil, as well > >> as a member of the “Brazilian Logic Society”. > >> > >> He visited Brazil several times, as invited researcher at > >> UNICAMP, and as invited keynote speaker in Brazilian Logic > >> Meetings and was co-author of papers and books with Brazilian > >> logicians. He also participated in several Latin American > >> Symposia on Mathematical Logic - SLALMs, in Brazil, Chile, > >> Colombia, Costa Rica and Venezuela, having much contributed for > >> their organization. > >> > >> We, who had the privilege to share his friendship, would like to > >> announce that the 17th Brazilian Logic Conference (EBL 2013) is > >> planned to be held in his honor, in 2013. > >> > >> > >> Prof. Walter Carnielli, Director of the Centre for Logic, > >> Epistemology and the History of Science > >> > >> > >> Prof. Itala M. Loffredo D`Ottaviano, President of the Brazilian > >> Logic Society > >> > >> --- > >> Prof. Dr. Walter Carnielli > >> Director > >> Centre for Logic, Epistemology and the History of Science – CLE > >> State University of Campinas –UNICAMP > >> 13083-859 Campinas -SP, Brazil > >> Phone: (+55) (19) 3521-6517 > >> Fax: (+55) (19) 3289-3269 > >> Institutional e-mail: walter.carnie...@cle.unicamp.br > >> Website: http://www.cle.unicamp.br/prof/carnielli > >> ___ > >> Logica-l mailing list > >> Logica-l@dimap.ufrn.br > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >> > > > > > > > > -- > > Valeria de Paiva > > http://www.cs.bham.ac.uk/~vdp/ > > http://valeriadepaiva.org/www/ > > ___ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- fad ahhata alati, awienta Wilushati ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] SISTEMAS MODAIS ESTENDIDOS DE NÃO-CLÁSSICOS
Caros amigos, colegas e mestres, Como existe muita coisa sobre lógicas modais estendidas a partir da LPC, pediria, por obséquio, referências que acharem capitais de lógicas modais obtidas pela extensão de lógicas não-clássicas. Obrigado. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l