Non-Gödel Negation Makes Unwitnessed Consistency Undecidable

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 2012 International Workshop on Description Logics (DL'12)
Pages411-421
Number of pages11
Publication statusPublished - 2012
Peer-reviewedYes

External IDs

Scopus 84873041541

Keywords

Keywords

  • Fuzzy Logic, Description Logic