Lattices of theories in languages without equality

DOI10.1215/00294527-1960470zbMath1278.08003OpenAlexW1988458761MaRDI QIDQ1949165

J. B. Nation

Publication date: 25 April 2013

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1361454973

zbMATH Keywords

representationcongruence latticequasivarietyquasi-equational theorylattice of implicational theoriessemilattice with operators

Mathematics Subject Classification ID

Lattices of varieties (08B15) Logical aspects of lattices and related structures (03G10) Representation theory of lattices (06B15) Equational logic, Mal'tsev conditions (08B05) Lattice ideals, congruence relations (06B10) Quasivarieties (08C15) Semilattices (06A12)

Related Items (2)

A refinement of the equaclosure operator ⋮ On representation of finite lattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The inflation class operator
• Equational theories as congruences of enriched monoids
• A property of the lattice of equational theories
• Further properties of lattices of equational theories
• Characterizing classes defined with equality
• Lattices of equational theories are congruence lattices of monoids with one additional unary operation
• LATTICES OF QUASI-EQUATIONAL THEORIES AS CONGRUENCE LATTICES OF SEMILATTICES WITH OPERATORS: PART I
• Protoalgebraic logics

This page was built for publication: Lattices of theories in languages without equality