Translator Disclaimer
2013 Lattices of Theories in Languages without Equality
J. B. Nation
Notre Dame J. Formal Logic 54(2): 167-175 (2013). DOI: 10.1215/00294527-1960470

Abstract

If S is a semilattice with operators, then there is an implicational theory Q such that the congruence lattice Con(S) is isomorphic to the lattice of all implicational theories containing Q.

Citation

Download Citation

J. B. Nation. "Lattices of Theories in Languages without Equality." Notre Dame J. Formal Logic 54 (2) 167 - 175, 2013. https://doi.org/10.1215/00294527-1960470

Information

Published: 2013
First available in Project Euclid: 21 February 2013

zbMATH: 1278.08003
MathSciNet: MR3028794
Digital Object Identifier: 10.1215/00294527-1960470

Subjects:
Primary: 08C15
Secondary: 03G10, 08B15

Rights: Copyright © 2013 University of Notre Dame

JOURNAL ARTICLE
9 PAGES


SHARE
Vol.54 • No. 2 • 2013
Back to Top