## General Logic-Systems and Consequence Operators

*Herrmann, Robert A.*;

- Subject: Mathematics - General Mathematics | 03B22acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESarxiv: 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

Share - Bookmark

- Download from