A representation theorem for the lattice of standard consequence operations
type: Item
instance of: scholarly article
title: A representation theorem for the lattice of standard consequence operations
zbMATH Open document ID: 0316.02017
DOI: 10.1007/BF02125225
author: Stephen L. Bloom
published in: Studia Logica
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03C68
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 3494364
MaRDI profile type: Publication
cites work: Some theorems on structural consequence operations
cites work: Matrix approach in methodology of sentential calculi
description: scientific article; zbMATH DE number 3494364