Negations And Predications
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. A Gentzen System for Calculations Partial identity and Open Universes / Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos
Os sistemas Q1 e Q2, desenvolvidos por Andréa Lopari?, perfazem três principais modificações na semântica clássica: primeiramente, o universo do discurso pode não estar limitado aos objetos que pertencem ao domínio de uma dada estrutura; em segundo lugar, a relação de identidade é determinada como a diagonal desse domínio (assim, tal relação po
Publicado em: 2010