AP26 Incompletude
30 maio 2018, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Lógica GL da provabilidade. Axioma de Godel-Lob. Transitividade e regra de Lob em GL. Condição suficiente para que provabilidade de teria seja demonstrável noutra teoria.