On semilattices and lattices for families of theories

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)

Abstract

We define and study semilattices and lattices for E-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with the least generating sets are distributive.

Original languageEnglish
Pages (from-to)980-985
Number of pages6
JournalSiberian Electronic Mathematical Reports
Volume14
DOIs
Publication statusPublished - 1 Jan 2017

Keywords

  • Combination of theories
  • E-operator
  • Family of theories
  • Lattice
  • Least generating set
  • Semilattice

Fingerprint Dive into the research topics of 'On semilattices and lattices for families of theories'. Together they form a unique fingerprint.

Cite this