General Logic-Systems and Consequence Operators
General Mathematics
2011-11-10 v4
Abstract
In this paper, general logic-systems are investigated. It is shown that there are infinitely many finite consequence operators defined on a fixed language L that cannot be generated from a finite logic-system. It is shown that a set map is a finite consequence operator iff it is defined by a general logic-system.
Keywords
Cite
@article{arxiv.math/0512559,
title = {General Logic-Systems and Consequence Operators},
author = {Robert A. Herrmann},
journal= {arXiv preprint arXiv:math/0512559},
year = {2011}
}
Comments
Only 5 pages. In this version, the definition of RI* is replaced by the one that appears in the expanded published version of this paper