Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-19 Por tôpico Julio Stern
Caro Joao Marcos: Se for para mudar o nome do grupo, sugiro que voce o faca em uma cerimonia publica na noite de Sao Joao. Como elemento central desta cerimonia catartica, uma grande Fogueira, onde seriam queimados: - Documentos do grupo em que conste o nome LoLITA; - As obras completas de

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-19 Por tôpico Walter Carnielli
Eu sugeriria trocar por N*ucleo de Inf*ormação e T*eoria e A*plicacada :-) (mais risadas da claque). Brincadeiras à parte, pessoalmente sempre achei este nome (me perdoem a franqueza) provocador, deselegante e "engraçadinho" demais. Sem pretender ofender a ninguém, mas se pedem opiniões,

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-19 Por tôpico Itala Maria Loffredo D'Ottaviano
Caro João Marcos: Penso que o nome LoLITA deve ser mantido. Apesar de que algumas das considerações de [N1} me sensibilizam, em especial a "E", considero que o Grupo já tem uma história, já se firmou com o nome LoLITA, e esse nome já se refere exatamente à qualidade do Grupo e a sua produção.

[Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

2021-06-19 Por tôpico Joao Marcos
PessoALL: Apresento abaixo um tema para discussão por parte desta comunidade. %%% CONTEXTO Há 15 anos criamos no DIMAp / UFRN o Research Group on *Lo*gic, *L*anguage, *I*nformation, *T*heory and *A*pplications (LoLITA). O acrônimo segue obviamente o modelo de outros que contém "LLI" para se

Re: [Logica-l] Coletivo Logica Viva: Existe apenas uma lógica certa?

2021-06-19 Por tôpico Daniel Durante
Oi Gisele, Só agora que eu consegui ver o vídeo e as mensagens. Semana intensa... Muito bacana, parabéns! Acho que você consegue falar de um modo muito claro e inteligível ao grande público sobre coisas tão profundas que fazem nós aqui da lista (os supostos especialistas) pensarmos e

[Logica-l] Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus / Zvonimir Šikić / Kosta Dosen / Substructural Logics

2021-06-19 Por tôpico jean-yves beziau
Foi publicado há pouco na Logica Universalis o artigo "Kneale’s Natural Deductions as a Notational Variant of Beth’s Tableaus" do Zvonimir Šikić https://link.springer.com/article/10.1007/s11787-021-00279-0 vencedor da segunda edição do prêmio de lógica Georgius Benignus (Croatia) e que