Representation of lattice frames
arXiv: Logic(2018)
摘要
The aim of this note is to characterize those doubly ordered frames $langle X, leq_1, leq_2 rangle$ which are embeddable into the canonical frame of its Urquhart complex algebra.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络