Stephen L. Bloom, Jesse B. Wright
Journal of Pure and Applied Algebra
Paper
Some theorems on structural consequence operations
Abstract
Two characterizations are given of those structural consequence operations on a propositional language which can be defined via proofs from a finite number of polynomial rules. © 1975 Warzawa.
Related
Stephen L. Bloom, Jesse B. Wright
Journal of Pure and Applied Algebra
Stephen L. Bloom, James W. Thatcher, et al.
Journal of Computer and System Sciences
Stephen L. Bloom, Susanna Ginali, et al.
Journal of Computer and System Sciences