Ordering protoalgebraic logics

Journal of Logic and Computation(2016)

引用 2|浏览64
暂无评分
摘要
This article is a first step in the study of the order structure of the set of all protoalgebraic logics over a fixed (but arbitrary) language. In particular, it is shown herein that the set is a join-complete semilattice, that it has no minimum, and that is not a meet-semilattice. One of the key points in this study is the discovery of a large family of rather weak protoalgebraic logics, from whi...
更多
查看译文
关键词
Abstract algebraic logic,protoalgebraic logics,lattices of logics,iteration construction,coherent set,Leibniz hierarchy,Frege hierarchy
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要