Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (Q4647557)

From MaRDI portal
scientific article; zbMATH DE number 7001946
Language Label Description Also known as
English
Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices
scientific article; zbMATH DE number 7001946

    Statements

    Optimal axiomatizations for multiple-valued operators and quantifiers based on semi-lattices (English)
    0 references
    0 references
    15 January 2019
    0 references
    0 references
    conjunctive normal form
    0 references
    propositional variable
    0 references
    sequent calculus
    0 references
    disjunctive normal form
    0 references
    propositional formula
    0 references
    0 references