Dummett Logic Research Articles

Semantic trees for Dummett's logic LC

The aim of this paper is to provide a decision procedure for Dummett's logic LC, such that with any given formula will be associated either a proof in a sequent calculus equivalent to LC or a finite linear Kripke countermodel.

Absence of the interpolation property in the consistent normal modal extensions of the dummett logic

Absence of the interpolation property in the consistent normal modal extensions of the dummett logic