A representation theorem for the lattice of standard consequence operations

DOI10.1007/BF02125225zbMath0316.02017MaRDI QIDQ1221089

Stephen L. Bloom

Publication date: 1975

Published in: Studia Logica (Search for Journal in Brave)

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Classical propositional logic (03B05) Other classical first-order model theory (03C68)

Related Items (2)

The lattice of strengthenings of a strongly finite consequence operation ⋮ On finitely based consequence operations

Cites Work

• Some theorems on structural consequence operations
• Matrix approach in methodology of sentential calculi

This page was built for publication: A representation theorem for the lattice of standard consequence operations