37 search results - page 4 / 8 » Topology in Fuzzy Class Theory: Basic Notions |
CONTEXT
1999
Springer
13 years 11 months ago
1999
Springer
This paper presents the outline of a formal ontology of contexts. More specifically, it deals with the ontology of ecological contexts (niches, habitats, environments, ambients) an...
ECSQARU
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
CCIA
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...