Publication
Studia Logica
Paper

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.

Date

Publication

Studia Logica

Authors

Share