Sciweavers

SLOGICA
2008
77views more  SLOGICA 2008»
13 years 9 months ago
Frame Based Formulas for Intermediate Logics
In this paper we define a new notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, s...
Nick Bezhanishvili
AIML
2008
13 years 10 months ago
On the intermediate logic of open subsets of metric spaces
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...
Timofei Shatrov