General Logic-Systems and Consequence Operators

Preprint English OPEN
Herrmann, Robert A.;
(2005)
  • Subject: Mathematics - General Mathematics | 03B22
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
    arxiv: Computer Science::Logic in Computer Science

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 ... View more
  • References (2)

    Herrmann, Robert A. (2001), “Hyperfinite and Standard Unifications for Physical Theories,” International Journal of Mathematics and Mathematical Sciences, 28(2):93-102. http://www.arXiv.org/abs/physics/0105012

    Los, I. and R. Suszko, (1958), “Remarks on sentential logic,” Indagationes Mathematical, 20:177-183

  • Metrics
Share - Bookmark