paper

On semilattices and lattices for families of theories

arXiv:1701.00208

Abstract

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

arXiv commentarXiv admin note: text overlap with arXiv:1601.00043, arXiv:1601.00041, arXiv:1701.00206, arXiv:1701.00205

References in corpus (1)

Cited by in corpus (1)