1549 search results - page 2 / 310 » On the rules of intermediate logics |
KBS
2002
13 years 5 months ago
2002
Lists of if
SLOGICA
2008
13 years 5 months ago
2008
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...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
APAL
2008
13 years 5 months ago
2008
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
LOPSTR
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...