Open AccessAlmost structural completeness; an algebraic approach
Author(s) -
Wojciech Dzik,
Michal M. Stronkowski
Publication year - 2018
Publication title -
epic series in computing
Language(s) - English
Resource type - Conference proceedings
ISSN - 2398-7340
DOI - 10.29007/59qg
Subject(s) - completeness (order theory) , characterization (materials science) , algebraic number , algebra over a field , mathematics , algebraic structure , perspective (graphical) , discrete mathematics , computer science , pure mathematics , mathematical analysis , materials science , nanotechnology , geometry
The notion of structural completeness has received considerable attention for many years. A translating to algebra gives: a quasivariety is structurally complete if it is generated by its free algebras. It appears that many deductive systems (quasivarieties), like S5 or MV<sub>n</sub> fails structural completeness for a rather immaterial reason. Therefore the adjusted notion was introduced: almost structural completeness. We investigate almost structural completeness from an algebraic perspective and obtain a characterization of this notion for quasivarieties.