177 search results - page 3 / 36 » Linearizing Intuitionistic Implication |
EUSFLAT
2003
15 years 9 days ago
2003
Intuitionistic Fuzzy Sets (IFS) are defined as pairs of mutually orthogonal fuzzy sets. We discuss this approach from an algebraic point of view. As a result we characterize two ...
85
Voted
EUSFLAT
2003
15 years 9 days ago
2003
The concept of intuitionistic fuzzy sets is the generalization of the concept of fuzzy sets. The theory of intuitionistic fuzzy sets is well suited to dealing with vagueness. Rece...
91
Voted
CADE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Inspired by the Curry-Howard correspondence, we study normalisation procedures in the depth-bounded intuitionistic sequent calculus of Hudelmaier (1988) for the implicati...
68
Voted
CIE
2007
Springer
15 years 2 months ago
2007
Springer
We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...
112
Voted
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...