Juan Soliveres Tur公司 胡安·克莱门特·维达尔 Lindenbaum-Tarski的函数，图解解释，句子逻辑之间的伴随圆柱。 185-202 2008 49 圣母院J.正式日志。 2 https://doi.org/10.1215/00294527-2008-007 db/journals/ndjfl/ndjfl49.html#TurV08