Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

Principia

Endereço:

Campus Universitário, Caixa Postal 476

Florianópolis / SC

0

Site: http://www.periodicos.ufsc.br/index.php/principia/index

Telefone: (48) 3721-8612

ISSN: 1808-1711

Editor Chefe: Luiz Henrique Araújo Dutra

Início Publicação: 31/05/2007

Periodicidade: Quadrimestral

Área de Estudo: Filosofia

Ano: 2010 | Volume: 14 | Número: 1

Autores: Andréa Lopari?
Autor Correspondente: Andréa Lopari? | [email protected]

Palavras-chave: intuicionismo, cÃ¡lculo minimal, semÃ¢ntica de valoraÃ§Ãµes, tabelas de valoraÃ§Ãµes

Apresentamos neste trabalho semÃ¢nticas de valoraÃ§Ãµes para o CÃ¡lculo Proposicional Intuicionista (ta

In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also c