Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
Apresentamos neste trabalho semânticas de valorações para o Cálculo Proposicional Intuicionista (também conhecido como Cálculo Proposicional de Heyting) e três de seus importantes subcálculos: os cálculos proposicionais Implicativo, Positivo e Minimal (também chamado Cálculo de Kolmogoroff ou de Joh...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2010-01-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/19667 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850210030259798016 |
|---|---|
| author | Andréa Loparić |
| author_facet | Andréa Loparić |
| author_sort | Andréa Loparić |
| collection | DOAJ |
| description | Apresentamos neste trabalho semânticas de valorações para o Cálculo Proposicional Intuicionista (também conhecido como Cálculo Proposicional de Heyting) e três de seus importantes subcálculos: os cálculos proposicionais Implicativo, Positivo e Minimal (também chamado Cálculo de Kolmogoroff ou de Johansson). Provamos a correção e a completude dessas valorações com respeito aos respectivos cálculos e, em seguida, apresentamos algoritmos de geração das tabelas dessas valorações, algoritmos que se constituem, assim, em métodos alternativos de decisão para os esses cálculos. |
| format | Article |
| id | doaj-art-50ace70474584ffdbaee80187b6449e2 |
| institution | OA Journals |
| issn | 1808-1711 |
| language | English |
| publishDate | 2010-01-01 |
| publisher | Universidade Federal de Santa Catarina |
| record_format | Article |
| series | Principia: An International Journal of Epistemology |
| spelling | doaj-art-50ace70474584ffdbaee80187b6449e22025-08-20T02:09:52ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1808-17112010-01-0114110.5007/1808-1711.2010v14n1p12515173Valuation Semantics for Intuitionic Propositional Calculus and some of its SubcalculiAndréa Loparić0Universidade de São PauloApresentamos neste trabalho semânticas de valorações para o Cálculo Proposicional Intuicionista (também conhecido como Cálculo Proposicional de Heyting) e três de seus importantes subcálculos: os cálculos proposicionais Implicativo, Positivo e Minimal (também chamado Cálculo de Kolmogoroff ou de Johansson). Provamos a correção e a completude dessas valorações com respeito aos respectivos cálculos e, em seguida, apresentamos algoritmos de geração das tabelas dessas valorações, algoritmos que se constituem, assim, em métodos alternativos de decisão para os esses cálculos.https://periodicos.ufsc.br/index.php/principia/article/view/19667 |
| spellingShingle | Andréa Loparić Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi Principia: An International Journal of Epistemology |
| title | Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi |
| title_full | Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi |
| title_fullStr | Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi |
| title_full_unstemmed | Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi |
| title_short | Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi |
| title_sort | valuation semantics for intuitionic propositional calculus and some of its subcalculi |
| url | https://periodicos.ufsc.br/index.php/principia/article/view/19667 |
| work_keys_str_mv | AT andrealoparic valuationsemanticsforintuitionicpropositionalcalculusandsomeofitssubcalculi |