Atomic Entailment and Atomic Inconsistency and Classical Entailment  

作　　者：T. J. Stepien L. T. Stepien 

机构地区：[1]The Pedagogical University of Cracow, ul. Podchorazych 2, 30 - 084 Krakow, Poland

出　　处：《Journal of Mathematics and System Science》2015年第2期60-71,共12页数学和系统科学（英文版）

摘　　要：In this paper we put forward a new solution of the well-known problem of relevant logics, i.e., we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the definition of atomic inconsistency. The atomic inconsistency establishes an infinite class of inconsistent, but non-trivial systems. In this paper we construct the new definition of the classical entailment, into the bargain.

关 键 词：Atomic entailment atomic inconsistency classical entailment RELEVANCE 

分 类 号：O562.1[理学—原子与分子物理] O159[理学—物理]