Rolf Nossum Propositional Logic for Ground Semigroups of Context. 273-297 2002 10 Logic Journal of the IGPL 3 http://www3.oup.co.uk/igpl/Volume_10/Issue_03/#Nossum db/journals/igpl/igpl10.html#Nossum02