Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions).

Ying Gao Jingde Cheng Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). 145-164 2008 18 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129508006592 db/journals/mscs/mscs18.html#GaoC08