[Logica-l] “Philosophy and Mathematics of Uncertainty and Vagueness" CLE- UNICAMP, 6-15 /08/2012- NOVA DATA

2012-05-24 Por tôpico Walter Carnielli
Caros; passo aqui a notícia sobre o extended deadline/nova data do evento PMUV- Filosofia e Matemática da Incerteza e da Vaguedade Submissão de trabalhos: estendida até 15/06/2012 === Parte do projeto “MaToMUVI - Mathematical Tools for the

[Logica-l] Fwd: go Argentina!

2012-05-24 Por tôpico Marcelo Esteban Coniglio
-- Forwarded message -- From: Marcelo Esteban Coniglio Date: 2012/5/24 Subject: Re: [Logica-l] go Argentina! To: Marcelo Finger Caro Marcelo F., Nao  somente destruiram, sucatearam, espezinharam e sabotaram de várias formas suas instituições de ensino e pesquisa como você bem d

Re: [Logica-l] go Argentina!

2012-05-24 Por tôpico Walter Carnielli
Oi Marcelo, foi o que disse: destruíram quase tudo, mas *quase*... abs, Walter Em 24 de maio de 2012 12:23, Valeria de Paiva escreveu: > Bom, tambem achei surpreendente. Mas nao estou sabendo nada dessa > destruicao. Eu nao consigo me manter a par do que acontece no brasil quem > dira do

Re: [Logica-l] Functional Completeness

2012-05-24 Por tôpico Walter Carnielli
Olá Victor, deixando de de lado a terminologia, e indo para coisa mais substancial e relevante, o critério de Słupecki de 1939 é o seguinte (traduzido na Studia Logica abaixo): toda lógica multivalente em que todos os conectivos unários são definidos (ou definíveis), e que tem pelo

Re: [Logica-l] go Argentina!

2012-05-24 Por tôpico Valeria de Paiva
Bom, tambem achei surpreendente. Mas nao estou sabendo nada dessa destruicao. Eu nao consigo me manter a par do que acontece no brasil quem dira do que acontece na argentina. On Thursday, May 24, 2012 , Marcelo Finger wrote: > Claro. > > Depois que eles destruiram. sucatearam, espezinharam e sabo

Re: [Logica-l] go Argentina!

2012-05-24 Por tôpico Marcelo Esteban Coniglio
Pois é, entre 100 medidas tomar uma acertada nao está nada mal... Marcelo On Thu, May 24, 2012 at 11:06 AM, Walter Carnielli wrote: > Ótima   iniciativa  da  Honorável Câmara dos  Deputados da  Nação Argentina; > nem tudo é ruim no reino da  Princesa  Cristina! > > Walter > > 2012/5/24 Valeria d

Re: [Logica-l] go Argentina!

2012-05-24 Por tôpico Marcelo Finger
Claro. Depois que eles destruiram. sucatearam, espezinharam e sabotaram de várias formas suas instituições de ensino e pesquisa, agora eles tomam esta "ótima iniciativa". Francamente ... On 24 May 2012 11:06, Walter Carnielli wrote: > Ótima   iniciativa  da  Honorável Câmara dos  Deputados da  

Re: [Logica-l] go Argentina!

2012-05-24 Por tôpico Walter Carnielli
Ótima iniciativa da Honorável Câmara dos Deputados da Nação Argentina; nem tudo é ruim no reino da Princesa Cristina! Walter 2012/5/24 Valeria de Paiva : > http://www.mincyt.gov.ar/noticias/noticias_detalles.php?id_noticia=959 > > and Harvard and UCSF!!! > (The unanimous vote of the facul

[Logica-l] go Argentina!

2012-05-24 Por tôpico Valeria de Paiva
http://www.mincyt.gov.ar/noticias/noticias_detalles.php?id_noticia=959 and Harvard and UCSF!!! (The unanimous vote of the faculty senate makes UCSF the largest scientific institution in the nation to adopt an open-access policy and among the first public universities to do so). http://www.ucsf.edu

Re: [Logica-l] Functional Completeness

2012-05-24 Por tôpico Decio Krause
Completude, gente. Completude. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 24/05/2012, às 10:30, Jua

Re: [Logica-l] Functional Completeness

2012-05-24 Por tôpico Juan Carlos Agudelo Agudelo
Olá, Victor, Outra boa referência é: Gottwald, Siegfried. A Treatice on Many-Valued Logics. Research Studies Press Ltd. 201. Nas seções 8.1 e 9.1.5 aborda o tema da completeza (ou completude?) funcional. Abraços, Juan Carlos 2012/5/24 Joao Marcos > Olá, Victor: > > 2012/5/24 victor leandro f

Re: [Logica-l] Functional Completeness

2012-05-24 Por tôpico Joao Marcos
Olá, Victor: 2012/5/24 victor leandro fernandez : > Prezados: estou procurando informação sobre artigos ou livros versados em > completude (completitude?) funcional de matrizes. Alguém tem uma dica > confiável para me dar? A referência clássica (e confiável) sobre completude funcional será semp

Re: [Logica-l] Functional Completeness

2012-05-24 Por tôpico Antonio Carlos da Rocha Costa
completeza Em 24 de maio de 2012 08:51, victor leandro fernandez escreveu: > Prezados: estou procurando informação sobre artigos ou livros versados em > completude (completitude?) funcional de matrizes. Alguém tem uma dica > confiável para me dar? > > Em particular, queria saber QUAL das lógicas

[Logica-l] Functional Completeness

2012-05-24 Por tôpico victor leandro fernandez
Prezados: estou procurando informação sobre artigos ou livros versados em completude (completitude?) funcional de matrizes. Alguém tem uma dica confiável para me dar? Em particular, queria saber QUAL das lógicas de Lukasiewicz não é funcionalmente completa. L3? L_{\aleph_0}? L_{\aleph_1}? Algum