UNIP - Universidade Paulista

• Central de Atendimento UNIP 0800 010 9000
• Unidades
• Central do Aluno
• Disciplina Online
• TV WEB Unip
• Universidade Paulista - UNIP
• WebMail
• Busca
• Mapa do Site

• Universidade
  • Campi
  • Clínicas
  • Dados Institucionais
  • Estatuto
  • Histórico
  • Institutos
  • Missão
  • Objetivos
  • Reitoria
  • Regimento Geral
  • Mapa do site
• Ensino
  • Graduação
    • Cursos Superiores Tecnológicos
    • Cursos Superiores Tecnológicos a Distância
    • Cursos Superiores Tradicionais
    • Inscrição On-line
    • Relação de Docentes
  • Pós-Graduação Lato Sensu
    • Cursos
    • Cursos a Distância
    • Inscrição On-line
    • Secretaria Virtual
  • Programas de Mestrado e Doutorado
  • Cursos a Distância
  • Extensão Comunitária
• Pesquisas
  • Bolsas de Iniciação Científica para Discentes
  • Programa de Incentivo à Publicação
  • Comitê de Ética em Pesquisa
  • Encontros Científicos
  • Grupos de Pesquisa
  • Links de Interesse
  • Notícias
  • Núcleo de Inovação Tecnológica da UNIP - NIT
  • Produção Intelectual do Corpo Docente
  • Programa de Auxílio à Participação em Reuniões Científicas
  • Programa Individual de Pesquisa para Docentes
  • Solicitação de Eventos
  • Pesquisas Financiadas
    • UNIP
    • PIBIC/CNPq
    • Santander/UNIP
• Serviços
  • Alunos
    • Atlética UNIP
    • Disciplina On-line
    • Enade
    • Estágio - Licenciatura
    • Laboratório
    • Secretaria On-line
    • Solicitação de Software
  • Biblioteca
    • Acervo e Serviços
    • Pesquisar Acervo
    • Bases de Dados On-line
    • Conteúdo Programático On-line
    • Ficha Catalográfica
    • Guia de Normalização
    • Novidades
    • Regulamento Geral
  • Ex-Alunos
    • Instituto de Acompanhamento Profissional
  • Professores
    • Webmail
  • Suporte ao Ensino
• Comunicação
  • Agenda
  • Desenvolvimento
  • Multiensino
  • Notícias
  • Publicações
  • TV UNIP
  • TV WEB UNIP
• Vestibular
  • Edital
  • Gabarito
  • Inscrições
  • Lista de Aprovados
  • Manual do Candidato

Links Relacionados

• Programa de Incentivo à Publicação

Você está em: Universidade Paulista / Pesquisa / Programa de Incentivo à Publicação /An Algebraic Version of the Annotated Logics Pt (Preliminary Version)

Programa de Incentivo à Publicação

Obra: An Algebraic Version of the Annotated Logics Pt (Preliminary Version)
Autor: Jair Minoro Abe

Resumo

In this paper we present an algebraic version of the annotated logics Pt [Da Costa 91] by using the concept of Curry Algebras [Barros 95]. The algebraic structure obtained is called Curry Algebras Pt. We study some basic properties of these algebras, showing a completeness result for the logics Pt.