General Logic-Systems that Determine Significant Collections of Consequence Operators
摘要
In this paper, general logic-systems and a necessary and sufficient algorithm are used to substantiate significant consequence operator properties. It is shown, among other results, that, in certain cases, (1) if the number of steps in a deduction is restricted, then such deduction does not yield a consequence operator. (2) In general, for any non-organized infinite language L, there is a special class of finite consequence operators that is not meet-complete. (3) For classical deduction, three different examples of modified propositional deduction yield collections of finite consequence operators that are not meet-complete. Other general logic-system examples are given. In a final section, the notion of potentially finite is investigated.
引用
@article{arxiv.math/0603573,
title = {General Logic-Systems that Determine Significant Collections of Consequence Operators},
author = {Robert A. Herrmann},
journal= {arXiv preprint arXiv:math/0603573},
year = {2014}
}
备注
Plain Tex, 15 pages. In this version, the material in section 6 is removed since for the C-set theory employed the set X used in Theorem 6.2 (i) apparently cannot be shown to exist