Monadic curry algebras Q tau

Nenhuma Miniatura disponível

Data

2007-01-01

Orientador

Coorientador

Pós-graduação

Curso de graduação

Título da Revista

ISSN da Revista

Título de Volume

Editor

Springer

Tipo

Trabalho apresentado em evento

Direito de acesso

Resumo

In this paper we present an algebraic version of the annotated predicate logics Q tau [1] by using the concept of Curry Algebras [5]. The algebraic structure obtained is called Curry Algebras Q tau. We study some basic properties of these algebras. The main ideas involved lean heavily on the works by P. Halmos and N.C.A. Da Costa [9], [5].

Descrição

Idioma

Inglês

Como citar

Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings. Berlin: Springer-verlag Berlin, v. 4693, p. 893-900, 2007.

Itens relacionados

Financiadores

Coleções