[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}?

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 vlfer...@yahoo.comescreveu: 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

Re: [Logica-l] Functional Completeness

2012-05-24 Por tôpico Joao Marcos
Olá, Victor: 2012/5/24 victor leandro fernandez vlfer...@yahoo.com: 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

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 botoc...@gmail.com Olá, Victor: 2012/5/24

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,

[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).

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 valeria.depa...@gmail.com: http://www.mincyt.gov.ar/noticias/noticias_detalles.php?id_noticia=959 and Harvard and UCSF!!! (The

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 walter.carnie...@gmail.com wrote: Ótima   iniciativa  da  Honorável

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 walter.carnie...@gmail.com wrote: Ótima   iniciativa  da  Honorável Câmara dos  Deputados da  Nação Argentina; nem tudo é ruim no reino da  Princesa  Cristina! Walter

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 x-apple-data-detectors://1, Marcelo Finger wrote: Claro. Depois que eles destruiram.

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 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 valeria.depa...@gmail.com escreveu: Bom, tambem achei surpreendente. Mas nao estou sabendo nada dessa destruicao. Eu nao consigo me manter a par do que acontece

[Logica-l] Fwd: go Argentina!

2012-05-24 Por tôpico Marcelo Esteban Coniglio
-- Forwarded message -- From: Marcelo Esteban Coniglio meconig...@gmail.com Date: 2012/5/24 Subject: Re: [Logica-l] go Argentina! To: Marcelo Finger mfin...@ime.usp.br Caro Marcelo F., Nao  somente destruiram, sucatearam, espezinharam e sabotaram de várias formas suas

[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