Characterization of protoalgebraic k-deductive systems (Q4586420)

From MaRDI portal
Revision as of 14:06, 16 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6935924
Language Label Description Also known as
English
Characterization of protoalgebraic k-deductive systems
scientific article; zbMATH DE number 6935924

    Statements

    Characterization of protoalgebraic k-deductive systems (English)
    0 references
    13 September 2018
    0 references
    deductive system
    0 references
    protoalgebraic system
    0 references
    congruence
    0 references
    system of equivalence formulas
    0 references
    system of congruence formulas
    0 references

    Identifiers