Order-dual relational semantics for non-distributive propositional logics: a general framework

From MaRDI portal