
Seja a primeira pessoa a gostar disto
O SlideShare utiliza cookies para otimizar a funcionalidade e o desempenho do site, assim como para apresentar publicidade mais relevante aos nossos usuários. Se você continuar a navegar o site, você aceita o uso de cookies. Leia nosso Contrato do Usuário e nossa Política de Privacidade.
O SlideShare utiliza cookies para otimizar a funcionalidade e o desempenho do site, assim como para apresentar publicidade mais relevante aos nossos usuários. Se você continuar a utilizar o site, você aceita o uso de cookies. Leia nossa Política de Privacidade e nosso Contrato do Usuário para obter mais detalhes.
Publicada em
Senior thesis
Field: Mathematical Logic
Supervisor: Steffen Lewitzka
University: Universidade Federal da Bahia (UFBA)
Abstract:
"Increasing the expressiveness of a logical system is a goal of many fields in Computer Science such as Formal Systems, Knowledge construction, Linguistics, Universal Logic and Model Theory. The increasing of this expressiveness can be reached by the use of nonFregean Logic, a nonclassical logic. In nonFregean Logic, formulas with the same truth value can have different denotations or meanings (also called situations). This concept breaks the Frege Axiom, the reason for the name nonFregean Logic. Recently, it was shown that there is an equivalence between Boolean prealgebras and nonFregean logic models. This fact linked fields which were already using Boolean prealgebras to represent their semantic models. In this thesis, an investigation on this equivalence is done and applications are exposed in the fields of Modal Logic, Truth Theory, Logic with Quantifiers and Epistemic Logic."
The full thesis can be found at http://repositorio.ufba.br/ri/handle/ri/1938
Seja a primeira pessoa a gostar disto
Recortar slides é uma maneira fácil de coletar e organizar os slides mais importantes de uma apresentação. Guarde os melhores slides em painéis de recortes organizados de acordo com tópico.
Parece que você já adicionou este slide ao painel
Seja o primeiro a comentar