Paper

01 Mar 1975

Some theorems on structural consequence operations

View publication

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

Paper

A note on the logic of signed equations

Stephen L. Bloom

Studia Logica

Paper

The existence and construction of free iterative theories

Stephen L. Bloom, Calvin C. Elgot

Journal of Computer and System Sciences

Paper

P-varieties - a signature independent characterization of varieties of ordered algebras

Stephen L. Bloom, Jesse B. Wright

Journal of Pure and Applied Algebra

Paper

On the algebraic structure of rooted trees

Calvin C. Elgot, Stephen L. Bloom, et al.

Journal of Computer and System Sciences

View all publications