On the semantic completeness of the logics of the creating subject (Q4872721)

From MaRDI portal
Revision as of 04:34, 8 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 859563
Language Label Description Also known as
English
On the semantic completeness of the logics of the creating subject
scientific article; zbMATH DE number 859563

    Statements

    On the semantic completeness of the logics of the creating subject (English)
    0 references
    0 references
    24 July 1996
    0 references
    extensions of intuitionistic predicate calculus
    0 references
    creative subject
    0 references
    semantics
    0 references
    Beth models
    0 references
    completeness
    0 references

    Identifiers