Almost structural completeness; an algebraic approach | Zendy

Wojciech Dzik | Zendy; Michał M. Stronkowski | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Almost structural completeness; an algebraic approach

Author(s) -

Wojciech Dzik,

Michał 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 , algebraic structure , mathematics , perspective (graphical) , discrete mathematics , computer science , pure mathematics , artificial intelligence , mathematical analysis , materials science , nanotechnology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research