14 search results - page 1 / 3 » On the intermediate logic of open subsets of metric spaces |
AIML
2008
13 years 6 months ago
2008
In this paper we study the intermediate logic MLO(X) of open subsets of a metric space X. This logic is closely related to Medvedev's logic of finite problems ML. We prove sev...
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
DAC
2008
ACM
14 years 5 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
AIML
2008
13 years 6 months ago
2008
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...
APAL
2010
13 years 5 months ago
2010
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...