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 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)