Finite schematizable algebraic logic (Q4357323)

From MaRDI portal
Revision as of 22:29, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 1066122
Language Label Description Also known as
English
Finite schematizable algebraic logic
scientific article; zbMATH DE number 1066122

    Statements

    title
    Finite schematizable algebraic logic (English)
    0 references
    author
    Ildikó Sain
    0 references
    Viktor Gyuris
    0 references
    publication date
    25 September 1997
    0 references
    zbMATH DE Number
    1066122
    0 references
    zbMATH Keywords
    non-axiomatizability
    0 references
    finite schema
    0 references
    representable cylindric algebras
    0 references
    finite schema axiomatizable classes of algebras
    0 references
    representable quasi-polyadic algebras
    0 references
    finitary algebraization of first order logic
    0 references
    OpenAlex ID
    W1970210230
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4357323&oldid=31979601"
    Powered by MediaWiki