Atomic Entailment and Atomic Inconsistency and Classical Entailment
Logic
2016-03-23 v1
Abstract
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.
Keywords
Cite
@article{arxiv.1603.06621,
title = {Atomic Entailment and Atomic Inconsistency and Classical Entailment},
author = {T. J. Stepien and L. T. Stepien},
journal= {arXiv preprint arXiv:1603.06621},
year = {2016}
}