414 search results - page 16 / 83 » Resolution for Intuitionistic Logic |
120
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
We consider some existing similarity measures for Atanassov's intuitionistic fuzzy sets (A-IFSs, for short). We show that neither similarity measures treating an A-IF as a sim...
107
Voted
RTA
1999
Springer
15 years 6 months ago
1999
Springer
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simu...
EUSFLAT
2007
15 years 3 months ago
2007
In this work we present several possible extensions of fuzzy Datalog. At first the concept of fuzzy Datalog will be summarized, then its extension for intuitionistic- and interval...
144
Voted
TLCA
2007
Springer
15 years 8 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...
103
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...