Nesta fala apresentarei uma teoria da validade para a lógica LP, que chamaremos de Val-LP. Noutras palavras, estenderei a linguagem de LP com um predicado primitivo de validade Val(x) tal que Val(‘φ’) é verdadeiro se φ é uma fórmula válida de LP. Veremos que em Val-LP duas noções de consistência são formalizáveis e quais são as propriedades delas. Posteriormente, apresentaremos a lógica LPS0.5, que estende LP com uma modalidade não-normal []. Para LPS0.5 apresentaremos um sistema de tablôs completos e corretos. Por fim, mostramos que LPS0.5 é a teoria de validade de LP mediante uma tradução r.
Nome
Edson Bezerra (Unicamp)
Estado
Finished
Publicar em
Arbitrariness and Genericity
Data de Início
Local
https://meet.google.com/bxb-ecyi-ihs