On Skolemization in constructive theories (Q3617374)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Skolemization in constructive theories
scientific article

    Statements

    On Skolemization in constructive theories (English)
    0 references
    0 references
    0 references
    23 March 2009
    0 references
    orderization
    0 references
    constructive Skolemization
    0 references
    Herbrand expansion
    0 references
    intuitionistic theory
    0 references
    derivability
    0 references
    constructive theory
    0 references
    cut elimination
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references