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

Scalar and vector iteration

Stephen L. Bloom, Susanna Ginali, et al.

Journal of Computer and System Sciences

Paper

The existence and construction of free iterative theories

Stephen L. Bloom, Calvin C. Elgot

Journal of Computer and System Sciences

Paper

Finitary quasi-varieties

Stephen L. Bloom, Jesse B. Wright

Journal of Pure and Applied Algebra

Paper

A note on the logic of signed equations

Stephen L. Bloom

Studia Logica

View all publications