Affiliation:
1. Department of Philosophy & Institute of Critical Thinking and Writing, Jeonbuk National University, Rm 417 Center for Humanities & Social Sciences, Baekje-daero, Jeonju, Korea
Abstract
This paper deals with semilinear extensions of implicational tonoid and partial Galois logics. To this end, first the class of implicational tonoid prelinear logics is defined and it is verified that these logics are semilinear in an algebraic context, namely an implicational tonoid logic is semilinear if it is complete over linearly ordered matrices. Next, a relational semantics is introduced for finitary implicational tonoid prelinear logics and it is proved that these logics are complete on the semantics. Thirdly the term “semilinear” is generalized to a notion to be applied in a set-theoretic context and it is verified that finitary implicational tonoid prelinear logics are semilinear in this context. Finally some extensions satisfying abstract Galois, dual Galois properties are introduced together with similar relational semantics for them and it is shown that these logics are semilinear in both contexts.
Subject
Artificial Intelligence,General Engineering,Statistics and Probability
Reference35 articles.
1. A novel fuzzy deep-learning approach to traffic flow prediction withuncertain spatial–temporal data features;Chen;FutureGeneration Computer Systems,2018
2. Weakly Implicative (Fuzzy) Logics I: properties;Cintula;Archive for Mathematical Logic,2006
3. Non-associativesubstructural logics and their semilinear extensions: axiomatizationand completeness properties;Cintula;Review of Symbolic Logic
4. Implicational (semiliear) logics I: a newhierarchy;Cintula;Archive for Mathematical Logic,2010
5. Implicational (semiliear) logics II:disjunction and completeness properties;Cintula;Archive forMathematical Logic,2016
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献