Sciweavers

1486 search results - page 83 / 298
» Mathematical Fuzzy Logics
Sort
View
WILF
2005
Springer
91views Fuzzy Logic» more  WILF 2005»
15 years 10 months ago
Multi-lattices as a Basis for Generalized Fuzzy Logic Programming
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
RELMICS
2001
Springer
15 years 9 months ago
Groups in Allegories
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to the...
Yasuo Kawahara
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 5 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
122
Voted
CIE
2007
Springer
15 years 10 months ago
RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
Andrej Bauer, Christopher A. Stone
135
Voted
FUZZIEEE
2007
IEEE
15 years 8 months ago
Asymptotic Idempotency
This paper deals with aggregation operators. A new class of aggregation operators, called asymptotically idempotent, is introduced. A generalization of the basic notion of aggregat...
Roberto Ghiselli Ricci