1486 search results - page 73 / 298 » Mathematical Fuzzy Logics |
114
click to vote
JSYML
2007
15 years 4 months ago
2007
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
155
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
130
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Query graphs with cuts are inspired by Sowa’s conceptual graphs, which are in turn based on Peirce’s existential graphs. In my thesis ‘The Logic System of Concept Graphs with...
135
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— Geometric Type-2 Fuzzy sets allow us to model type-2 fuzzy sets using geometry providing significant improvement in speed of computation. This paper explores in detail how wel...
120
click to vote
FSKD
2005
Springer
15 years 10 months ago
2005
Springer
A new robust clustering scheme based on fuzzy c-means is proposed and the concept of a fuzzy mega-cluster is introduced in this paper. The fuzzy mega-cluster is conceptually simila...