15 citations · 52 across the 25 of their papers we have counts for
1 paper · 2 filters
Robert A. Herrmann
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 generate…