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