Oi Valéria,
Muito obrigado pelos links! Minha pilha de leitura está aumentando!
Daniel.
PS: se alguém tentou e não conseguiu baixar a "tese do Simpson", basta apagar
os "*" da palavra "thesis". O link abaixo funciona:
http://homepages.inf.ed.ac.uk/als/Research/thesis.pdf
+++
Em
alo,
a tese do Simpson, que 'e um primor de bem-escrita, esta' ficando um
pouquinho 'outdated'. esta' disponivel em
http://homepages.inf.ed.ac.uk/als/Research/*thesis*.pdf
meu paper com o Torben tb esta' disponivel (em tres versoes,conferencia, TR
e revista):
- *Towards Constructive Hybrid Logi
Colegas,
Em primeiro lugar, há disponibilidade, online, para acessar a citada "tese do
Simpson" e o artigo da Valeria e Torben?
Sobre o que disse a Valéria, eu tenho alguns comentários:
> 1. isso da' aa nocao de modelo de mundos um papel especial, de definidor dos
> sistemas modais, que eu nao
2013/5/27 Elaine Pimentel escreveu:
>
> Em primeiro lugar, eu nunca disse que a Sara inventou sistemas rotulados.
Ei, eu não disse que você disse. :-) Mas não pude perder a chance de
espicaçar a Sara, que é uma pessoa de uma antipatia cristalina. O
cúmulo para mim foi ela lá no UNILOG interrompe
Hola, Valéria e João.
Bem, eu ia me abster de responder, mas resolvi fazer um comentário rápido.
Em primeiro lugar, eu nunca disse que a Sara inventou sistemas rotulados. O
que eu disse foi que o cap 11 do livro de Proof Analysis é um bom lugar
para ler sobre sistemas modais rotulados baseados em
Oi Daniel,
Não sei entendi sua pergunta. Mas em Lógicas temporais o uso de operadores
que são definidos usando-se fecho transitivo ou ponto fixo é bem comum, por
exemplo o Until. Voce não irá conseguir expressá-los no sistema Fitch.
Um abraço,
Mario
Em 27 de maio de 2013 15:42, Marcelo Finger
Oi Daniel.
Em relação à sua pergunta:
>A pergunta, então, é: tem alguma lógica não-clássica que eu não vou conseguir
>resolver no meu software, simulando-a como uma teoria de primeira ordem
>clássica?
Bom, pra não ser simulável em primeira ordem, que é turing completa, a
lógica teria de "mais
hmm, obrigada JM pela referencia elogiosa ao meu trabalho com o Torben
sobre Deducao Natural pra logica hibrida construtiva!
mas e':
> (É inteiramente misteriosa para mim a razão
> pela qual outros autores gastam tempo sobre sistemas dedutivos ad hoc
> para esta ou aquela lógica modal, dado que a
Colegas,
Muito obrigado MESMO pelas referências, já comecei estudar, e elas certamente
me pouparão muito TEMPO :) E também confirmam minha suspeita de que o assunto
era mesmo bem desenvolvido. Aproveito, então, e deixo a vocês uma pergunta
séria, mas que vou formular em termos lúdicos: suponha
> Eu acho que vale a pena você dar uma olhada no livro Proof Analysis (Plato,
> Negri), que tem um capítulo muito legal (11) sobre representação de lógicas
> modais utilizando um sistema básico clássico (G3) e internalizando a
> semântica através de regras modais, obtendo o sistema G3K.
Há um mate
OI Daniel.
Existe toda uma teoria sobre completude expressiva de lógicas
temporais em relação à lógica de primeira ordem. Por exemplo, sabemos
que a lógica com operadores F(uturo) e P(assado) apenas NÃO são
expressivamente completas sobre os inteiros e reais, mas as lógicas
com operadores tempora
Hola, Daniel,
Eu acho que vale a pena você dar uma olhada no livro Proof Analysis (Plato,
Negri), que tem um capítulo muito legal (11) sobre representação de lógicas
modais utilizando um sistema básico clássico (G3) e internalizando a
semântica através de regras modais, obtendo o sistema G3K.
Não
Colegas,
Tenho uma dúvida boba que certamente vocês podem me ajudar. Lendo algumas
coisas básicas sobre lógica temporal, vi que uma maneira de tratar o assunto,
que é inclusive expressivamente mais poderosa que a maneira padrão com
operadores modais (temporais) é, no lugar disso, regimentar o
13 matches
Mail list logo
