An annotated logic theorem prover for an extended possibilistic logic (Q598578)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An annotated logic theorem prover for an extended possibilistic logic
scientific article

    Statements

    An annotated logic theorem prover for an extended possibilistic logic (English)
    0 references
    0 references
    6 August 2004
    0 references
    Possibilistic logic
    0 references
    PLFC
    0 references
    Annotated logic
    0 references
    Fuzzy sets
    0 references

    Identifiers