Ying Gao, Jingde Cheng. Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions). Mathematical Structures in Computer Science, 18(1):145-164, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.