Logic Algebraic
Mostrando 1-10 de 10 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. Remarks on an algebraic semantics for paraconsistent Nelson's logic
In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper we show that NPc-lattices form a subvariety of the variety of commutative residuated lattices, we study congruences of NPc-lattices and som
Manuscrito. Publicado em: 2011-06
-
3. Semântica proposicional categórica
The basic concepts of what later became called category theory were introduced in 1945 by Samuel Eilenberg and Saunders Mac Lane. In 1940s, the main applications were originally in the elds of algebraic topology and algebraic abstract. During the 1950s and 1960s, this theory became an important conceptual framework in other many areas of mathematical researc
Publicado em: 2010
-
4. The Interval Constructor on classes of ML-algebras
Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On th
Publicado em: 2008
-
5. Students algebraic thought and language manifestations: indicators for teaching organization. / Manifestações do pensamento e da linguagem algébrica de estudantes: indicadores para a organização do ensino.
This work deals with the students difficulties about algebraic knowledge, which could be related to the specificities of algebra, to educational methodology and didactical matters, and also to language and thought psychological processes. Therefore, the subject of study is the studentsthoughts and their algebraic language. We understand that thought and lang
Publicado em: 2008
-
6. 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
-
7. 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
-
8. Fibrilação de logicas na hierarquia de Leibniz
ln this thesis we investigate, with an abstract approach, a process of combinations of logics known as fibring of logics. ln particular we study the transference by fibring of certain properties, intrinsic to propositionallogics: protoalgebricity, equivalenciality and algebraizability. The notions above belong to the "Leibniz Hierarchy", a fundamental concep
Publicado em: 2005
-
9. Logics of formal inconsistency
According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logi
Publicado em: 2005
-
10. Contribuição a minimização e simulação de circuitos logicos
This work deals with some aspects related to synthesis, analysis and simplification of logic circuits. The boolean algebra is introduced through basic axioms, as well as the dalgorithm for fault detection studying logical circuits. For the minimization of boolean functions a procedure that yields a quasi-minimum cover to the functions is presented. It is bas
Publicado em: 1989