New LogicX.Y. Newberry
Intensional Boolean Logic, 2006-11-11
Presuppositions and Occurrence Relevance Logic
