This paper presents the general framework we have used elsewhere. @consequently used it in "Geometric Models for Relevant Logics" https://t.co/lWPFTOBAlE
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
Springer International Publishing