Model-theoretic characterization of intuitionistic predicate formulas (Q2937693)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model-theoretic characterization of intuitionistic predicate formulas
scientific article

    Statements

    Model-theoretic characterization of intuitionistic predicate formulas (English)
    0 references
    12 January 2015
    0 references
    first-order logic
    0 references
    intuitionistic logic
    0 references
    constant domains
    0 references
    model theory
    0 references
    modal characterization theorem
    0 references

    Identifiers