Paraconsistent Computational Logic

Andreas Schmidt Jensen, Jørgen Villadsen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    In classical logic everything follows from inconsistency and this makes classical logic problematic in areas of computer science where contradictions seem unavoidable. We describe a many-valued paraconsistent logic, discuss the truth tables and include a small case study.
    Original languageEnglish
    Title of host publication8th Scandinavian Logic Symposium : Abstracts
    EditorsPatrick Blackburn, Klaus Frovin Jørgensen, Neil Jones, Erik Palmgren
    Publication date2012
    Pages59-61
    Publication statusPublished - 2012
    Event8th Scandinavian Logic Symposium - Roskilde University, Roskilde, Denmark
    Duration: 20 Aug 201221 Aug 2012
    http://scandinavianlogic.weebly.com/

    Conference

    Conference8th Scandinavian Logic Symposium
    LocationRoskilde University
    CountryDenmark
    CityRoskilde
    Period20/08/201221/08/2012
    Internet address

    Fingerprint

    Dive into the research topics of 'Paraconsistent Computational Logic'. Together they form a unique fingerprint.

    Cite this