A representation theorem for the lattice of standard consequence operations
From MaRDI portal
Publication:1221089
DOI10.1007/BF02125225zbMath0316.02017MaRDI QIDQ1221089
Publication date: 1975
Published in: Studia Logica (Search for Journal in Brave)
03G25: Other algebras related to logic
03B05: Classical propositional logic
03C68: Other classical first-order model theory
Related Items
The lattice of strengthenings of a strongly finite consequence operation, On finitely based consequence operations
Cites Work