A Characterization of the N-Ary Many-Sorted Closure Operators and a Many-Sorted Tarski Irredundant Basis Theorem
Quaestiones Mathematicae - United Kingdom
doi 10.2989/16073606.2018.1532931
Full Text
Open PDFAbstract
Available in full text
Categories
Date
November 13, 2018
Authors
Publisher
Informa UK Limited