Fibrational semantics for many-valued logic programs: grounds for non-groundness

Ekaterina Komendantskaya, John Power

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Fibrational semantics for many-valued logic programs: grounds for non-groundness'. Together they form a unique fingerprint.

    Engineering & Materials Science