Pretopologies and completeness proofs (Q4858821)

From MaRDI portal
scientific article; zbMATH DE number 827470
Language Label Description Also known as
English
Pretopologies and completeness proofs
scientific article; zbMATH DE number 827470

    Statements

    Pretopologies and completeness proofs (English)
    0 references
    0 references
    19 June 1996
    0 references
    first-order basic linear logic
    0 references
    pretopology semantics
    0 references
    completeness
    0 references

    Identifiers