Sequent forms of Herbrand theorem and their applications (Q2502163)

From MaRDI portal





scientific article
Language Label Description Also known as
English
Sequent forms of Herbrand theorem and their applications
scientific article

    Statements

    Sequent forms of Herbrand theorem and their applications (English)
    0 references
    0 references
    12 September 2006
    0 references
    coextensivity
    0 references
    deducibility
    0 references
    first-order classical logic
    0 references
    Herbrand theorem
    0 references
    sequent formalism
    0 references
    validity
    0 references
    unsatisfiability
    0 references

    Identifiers