AT14 Conjuntos Finitamente Satisfazíveis
12 dezembro 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Preservação da propriedade de finitamente satisfazível pela união. Existência de extensão finitamente satisfazível e completa para qualquer
conjunto finitamente satisfazível. Conjunto com a propriedade da testemunha existencial. Estrutura de interpretação induzida por conjunto
finitamente satisfazível, completo e com a propriedade da testemunha. Relacionamente entre a satisfação local para essa estrutura e a derivação a
partir do conjunto inicial.