Juan Soliveres Tur和Juan Climent Vidal:Lindenbaum-Tarski的函数、图解解释和句子逻辑之间的伴随圆柱。(2008) 期刊/ndjfl/TurV08 10.1215/00294527-2008-007 Lindenbaum-Tarski的Functors，图解解释，以及句子逻辑之间的伴随圆柱体。 2 Juan Soliveres Tur公司 1 胡安·克莱门特·维达尔 2 185-202 圣母院J.正式日志。 圣母院J.正式日志。 49 2 2008 dblp记录“journals/ndjfl/TurV08”的RDF数据的来源信息 2020-05-21T20:05:51+0200