304 search results - page 16 / 61 » Analysis of the paraconsistency in some logics |
117
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...
133
click to vote
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
103
click to vote
CSDA
2006
15 years 1 months ago
2006
For the last decades, research studies have been developed in which a coalition of Fuzzy Sets Theory and Statistics has been established with different purposes. These namely are:...
CAV
2007
Springer
15 years 7 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
104
click to vote
ECML
2006
Springer
15 years 4 months ago
2006
Springer
This paper studies the PAC and agnostic PAC learnability of some standard function classes in the learning in higher-order logic setting introduced by Lloyd et al. In particular, i...