Semantics for first-order superposition logic (Q5014056)

From MaRDI portal
scientific article; zbMATH DE number 7438991
Language Label Description Also known as
English
Semantics for first-order superposition logic
scientific article; zbMATH DE number 7438991

    Statements

    Semantics for first-order superposition logic (English)
    0 references
    0 references
    3 December 2021
    0 references
    0 references
    logic of superposition
    0 references
    choice function for pairs of sentences/formulas
    0 references
    sentence choice semantics
    0 references
    formula choice semantics
    0 references
    0 references