Algebraic Semantics
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. Multi-SincronizaÃÃo em menssage sequence charts
Message Sequence Charts (MSC) is a visual trace language, extensively used in academy and industry, to describe the communication behavior of system components and their environment. The MSC syntax and semantics are now a standard defined by the International Telecommunication Union (ITU). The motivation for this work has originated from an eort to model sce
Publicado em: 2008
-
4. 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
-
5. Semantics for an algebraic specification language / Semântica para uma Linguagem de Especificação Algébrica
Prosoft é um grupo de pesquisa do Instituto de Informática da UFRGS, desenvolvido pelo grupo de pesquisa homônimo e coordenado pelo Professor Daltro José Nunes. O objetivo do projeto é desenvolver um ambiente de desenvolvimento de software completo, o Ambiente Prosoft, que é baseado nos conceitos de Modelos, Cálculo Lambda, Tipos Abstratos de Dados e
Publicado em: 2007
-
6. 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
-
7. Semantica algebrica de traduções possiveis
ormado
Publicado em: 2004
-
8. FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES*