Axiomatizing the skew Boolean propositional calculus (Q877820)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiomatizing the skew Boolean propositional calculus
scientific article

    Statements

    Axiomatizing the skew Boolean propositional calculus (English)
    0 references
    0 references
    0 references
    3 May 2007
    0 references
    algebraizable logic
    0 references
    Hilbert-style axiomatization
    0 references
    automated deduction
    0 references
    proof sketches
    0 references
    0 references
    0 references
    0 references

    Identifiers