J''{o}nsson-Tarski表达式的扩展及谓词非正常模态逻辑中的模型存在

摘要:无穷元拓广J''{o}nsson-Tarski表示定理的研究

作者:Yoshihito Tanaka

论文ID:2103.16857

分类:Logic

分类简称:math.LO

提交时间:2023-05-24

PDF 下载: 英文版 中文版pdf翻译中