Olá, Valeria:
Acho que vale a pena recordar ainda que há uma outra maneira bastante
simples de "consertar" os formalismos dedutivos modais, pelo acréscimo
de etiquetas (representando termos de uma assinatura de primeira ordem
adequada) sobre fórmulas modais e a adição de fórmulas relacionais à
lin
oi Joao Marcos,
com certeza, o estilo de deducao natural do Basin, Vigano e Matthews, que o
Luca explicou muito melhor no livro e' uma outra maneira de consertar os
formalismos dedutivos modais, da mesma forma que os sistemas do Simpson tb
o sao, pra logica modal intuicionista.
as logicas hibridas
Olas!
Eu nao vou ter tempo agora de escrever muito, mas acho que vale a pena
dizer que me parece que a Sara Negri tem um "procedure" para gerar
sistemas baseados em cálculo de sequentes para lógicas modais.
Abraco,
Elaine.
2012/5/21 Valeria de Paiva :
> oi Joao Marcos,
> com certeza, o estilo d
Muito obrigado à Valéria pelas referências que me passou. São muito ricas!
Em 22 de maio de 2012 10:58, Elaine Pimentel
escreveu:
> Olas!
>
> Eu nao vou ter tempo agora de escrever muito, mas acho que vale a pena
> dizer que me parece que a Sara Negri tem um "procedure" para gerar
> sistemas bas
oi Elaine,
A Sara tem sim, mas me parece que 'e o mesmo truque/insight do
Vigano/Simpson, so' que em forma de sequentes em vez de deducao natural, o
que voce gosta mais...!
as limitacoes dos metodos tb sao semelhantes, teorias geometricas.
all good stuff, como se diz por ai.
abs
valeria
2012/5/22
Caros,
Um outro aspecto muito interessante é que, *normalmente*, a "hibridização"
(não estou falando de binders) de uma lógica modal não aumenta a
complexidade de lógica modal por baixo.
Um abraço,
Mario
Em 22 de maio de 2012 11:21, Valeria de Paiva
escreveu:
> oi Elaine,
> A Sara tem sim, ma
Um amigo meu - que pesquisa improvability em metamatemática - possui uma
enorme (e legítima) frustração com o fato de existirem cem vezes mais
palpiteiros profissionais (filósofos da matemática com know how
insuficiente) do que lógicos e matemáticos trabalhando com seu tema de
pesquisa, que cometem
