Logica Intuicionista
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. Robustness on intuitionistic fuzzy connectives
A ánalise da robustez de conectivos fuzzy intuicionista consiste na principal contribuição deste trabalho. A partir da avaliação da sensibilidade de funções n-arias na classe dos conjuntos fuzzy intuicionistas, como proposto por Atanassov, os principais resultados são aplicados na correspondente extensão intuicionista das (S,N)-implicações fuzzy.
TEMA (São Carlos). Publicado em: 2014-08
-
2. Index, expressions and properties of interval-valued intuitionistic fuzzy implications
A Lógica Fuzzy Intuicionista Valorada Intervalarmente consiste em uma extensão da lógica fuzzy, integrando conceitos da lógica fuzzy valorada intervalarmente e da lógica fuzzy intuicionista. A primeira considera a hesitação relacionada com a construção dual de conjuntos fuzzy intuicionistas, enquanto a segunda reflete a medida da imprecisão e incer
TEMA (São Carlos). Publicado em: 11/10/2013
-
3. Uma investigação acerca das regras para a negação e o absurdo em dedução natural
O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenç�
Publicado em: 2006
-
4. EXTRAÇÃO DE CONTEÚDO COMPUTACIONAL DE PROVAS INTUICIONISTAS / EXTRACTION OF COMPUTATIONAL CONTENTS FROM INTUITIONIST PROOFS
Garantir que programas são implementados de forma a cumprir uma especificação é uma questão fundamental em computação, por isso, têm sido propostos vários métodos que almejam provar a correção dos programas. Este trabalho apresenta um método, baseado no isomorfismo de Curry-Howard, que extrai conteúdos computacionais de provas intuicionistas, c
Publicado em: 2004
-
5. Problemas de uma semantica para a logica intuicionista de primeira ordem
Not informed
Publicado em: 1992