Valuation semantics for intuitionistic propositional calculus and some of its subcalculi (2010)
- Autor:
- Autor USP: LOPARIC, ANDREA MARIA ALTINO DE CAMPOS - FFLCH
- Unidade: FFLCH
- Assunto: FILOSOFIA DA MATEMÁTICA
- Language: Inglês
- Imprenta:
- Publisher place: Florianópolis
- Date published: 2010
- Source:
- Título do periódico: Principia
- Volume/Número/Paginação/Ano: v. 14, n. 1, p. 125-133, 2010
-
ABNT
LOPARIC, Andréa Maria Altino de Campos. Valuation semantics for intuitionistic propositional calculus and some of its subcalculi. Principia, v. 14, n. 1, p. 125-133, 2010Tradução . . Disponível em: http://www.cfh.ufsc.br/~principi/p141-8.pdf. Acesso em: 20 abr. 2024. -
APA
Loparic, A. M. A. de C. (2010). Valuation semantics for intuitionistic propositional calculus and some of its subcalculi. Principia, 14( 1), 125-133. Recuperado de http://www.cfh.ufsc.br/~principi/p141-8.pdf -
NLM
Loparic AMA de C. Valuation semantics for intuitionistic propositional calculus and some of its subcalculi [Internet]. Principia. 2010 ; 14( 1): 125-133.[citado 2024 abr. 20 ] Available from: http://www.cfh.ufsc.br/~principi/p141-8.pdf -
Vancouver
Loparic AMA de C. Valuation semantics for intuitionistic propositional calculus and some of its subcalculi [Internet]. Principia. 2010 ; 14( 1): 125-133.[citado 2024 abr. 20 ] Available from: http://www.cfh.ufsc.br/~principi/p141-8.pdf - Investigações logicas: sexta investigação (elementos para uma elucidação fenomenologica do conhecimento )
- Textos escolhidos
- A negação e seus casos
- Investigacoes lógicas: sexta investigação (elementos de uma elucidação fenomenológica do conhecimento)
- Funções modais
- Investigacoes lógicas: sexta investigação (elementos de uma elucidação fenomenológica do conhecimento)
- Lógica de primeira ordem
- Lógica e ontologia: ensaios em homenagem a Balthazar Barbosa Filho
- Os textos editados aqui foram escritos em homenagem a... [Prefácio]
- Carta ao jornal de resenhas
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas