Logica Algebrica
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. On BL-Algebras and its Interval Counterpart
RESUMO Lógica Fuzzy Intervalar e Conjuntos Fuzzy valorados em intervalos têm sido amplamente investigado. Algumas Lógicas Fuzzy foram algebricamente modeladas por Peter Hájek como BL-álgebras. Qual é a contrapartida algébrica para o caso intervalar? Sabe-se da literatura que existe uma incompatibilidade entre algumas estruturas algébricas e sua contr
TEMA (São Carlos). Publicado em: 16/09/2019
-
2. Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos / Lop: a unified approach of algebraic specification, object-orientation and processes
A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador através das propriedades que tais entidades devem satisfazer. Isto a feito usando métodos e linguagens algébricos, onde as propriedade
Publicado em: 2010
-
3. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
4. A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real / The computable category of the coherence spaces generated by basic sets with an application in real analysis
Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, topológica e lógica. Estes espaços, denotados por , constituem uma subcategoria dos Espaços Coerentes, cujos objetos, ordenados pe
Publicado em: 2010
-
5. Polinomization of logics : problems and perspectives / Polinomização de logicas : problemas e perspectivas
A obra de George Boole, pedra fundamental da lógica contemporânea, não separa métodos de análise matemática, de métodos lógicos propriamente ditos. Se, por um lado, a falta de fronteiras metodológicas nítidas tem-lhe valido azedas críticas, por outro lado fazem da obra de Boole uma verdadeira síntese do pensamento formal, herdada de Aristóteles,
Publicado em: 2009
-
6. Do gozo fálico ao gozo do Outro
Para além da significação fálica, fato de estrutura tanto para o sujeito masculino quanto para o sujeito feminino, Lacan aponta para um outro tipo de gozo: um gozo suplementar, o gozo do Outro, o gozo feminino, para além do falo. Do S1, significante do gozo fálico, que inscreve a lógica da significação fálica, tal como é demonstrado por meio da fo
Ágora: Estudos em Teoria Psicanalítica. Publicado em: 2008-12
-
7. Algebraic semantics for modal logics and its philosophical interest / A semantica algebrica para as logicas modais e seu interesse filosofico
No século XX tivemos um considerável avanço sobre o entendimento formal do significado das modalidades. Os trabalhos de Jónsson, McKinsey e Tarski na década de quarenta permitiram a construção dos resultados de completude algébrica para os sistemas modais. Estes resultados, porém, não receberam a devida atenção. Na década de cinqüenta, Kripke p
Publicado em: 2008
-
8. Uma Fundamentação Intervalar Aplicada à Morfologia Matemática
Este trabalho apresenta uma abordagem intervalar para lidar com imagens que contêm incertezas, bem como tratar essas incertezas através de operações morfológicas. Foram apresentados dois modelos intervalares. Para o primeiro, é introduzido um espaço algébrico com três valores que foi construído com base na lógica tri-valorada de Lukasiewiecz. Com
Publicado em: 2008
-
9. Representação e combinação de logicas : questões conceituais / Representatain and combination of logics : conceptual questions
Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre o
Publicado em: 2007
-
10. Representação e combinação de logicas : questões conceituais / Representatain and combination of logics : conceptual questions
Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre o
Publicado em: 2007
-
11. Um Sistema para aprendizagem de demonstrações dedutivas em geometria euclidiana
O objetivo do presente trabalho é realizar a concepção de um sistema para a aprendizagem de demonstrações da Geometria Euclidiana Plana e a implementação de um protótipo deste sistema, denominado LEEG - Learning Environment on Euclidean Geometry, desenvolvido para validar as idéias utilizadas em sua especificação. Nos últimos anos, tem-se observa
Publicado em: 2007
-
12. Software and new techniques for multi-valued digital functions synthesis, minimization and simulation / Desenvolvimento de novas tecnicas e um aplicativo para sintese, minimização e simulação de funções digitais multi-valores
Este trabalho consiste na análise de regras de síntese e minimização de funções digitais multi-valores e na criação de um software para a realização automatizada da síntese empregando as regras criadas e, também, na criação de um software para simulação de portas lógicas e circuitos digitais multi-valores. Todas essas ações são coerentes
Publicado em: 2006