Intuitionistic Gdel-Lb Logic, la Simpson: Labelled Systems and Birelational Semantics.

Anupam Das, Iris van der Giessen, Sonia Marin

Browse the full CSL paper archive.