Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi

Show other versions (1)

In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yie...

Full description

Bibliographic Details
Main Author: Andréa Loparić
Format: Article
Language:English
Published: Universidade Federal de Santa Catarina 2010-04-01
Series:Principia: An International Journal of Epistemology
Subjects:
Intuitionism
minimal calculus
valuation semantics
valuation tables
Online Access:http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p125/17985
id doaj-ba39a509d600497382d851b841f90c4f
record_format Article
spelling doaj-ba39a509d600497382d851b841f90c4f2020-11-24T22:25:47ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1414-42471808-17112010-04-01141125133Valuation Semantics for Intuitionic Propositional Calculus and some of its SubcalculiAndréa LoparićIn this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi. http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p125/17985Intuitionismminimal calculusvaluation semanticsvaluation tables
collection DOAJ
language English
format Article
sources DOAJ
author Andréa Loparić
spellingShingle Andréa Loparić
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi
Principia: An International Journal of Epistemology
Intuitionism
minimal calculus
valuation semantics
valuation tables
author_facet Andréa Loparić
author_sort Andréa Loparić
title 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_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_sort valuation semantics for intuitionic propositional calculus and some of its subcalculi
publisher Universidade Federal de Santa Catarina
series Principia: An International Journal of Epistemology
issn 1414-4247
1808-1711
publishDate 2010-04-01
description In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi.
topic Intuitionism
minimal calculus
valuation semantics
valuation tables
url http://www.periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p125/17985
work_keys_str_mv AT andrealoparic valuationsemanticsforintuitionicpropositionalcalculusandsomeofitssubcalculi
_version_ 1725756416031981568

Similar Items