General Logic-Systems and Consequence Operators

Preprint English OPEN
Herrmann, Robert A.;
  • Subject: Mathematics - General Mathematics | 03B22
    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.

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

  • Metrics
Share - Bookmark