Stephen L. Bloom
Studia Logica
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, James W. Thatcher, et al.
Journal of Computer and System Sciences
Stephen L. Bloom, Jesse B. Wright
Journal of Pure and Applied Algebra
Calvin C. Elgot, Stephen L. Bloom, et al.
Journal of Computer and System Sciences