{"type":"ScholarlyArticle","title":"A Four-Valued Fuzzy Propositional Logic","authors":[{"name":"Umberto Straccia","slug":"umberto-straccia","given":"Umberto","family":"Straccia","affiliation":""}],"abstract":"It is generally accepted that knowledge based sys tems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a four-valued fuzzy propositional logic, which is the result of the combination of a four-valued logic and a fuzzy propositional logic. Besides the nice computational properties, the logic enables us also to deal both with inconsistency and imprecise predicates in a simple way.","doi":null,"url":"https://ijcai.org/proceedings/1997/20","pdf":"https://ijcai.org/proceedings/1997/0020.pdf","markdown":"https://ijcai.org/proceedings/1997/20.md","bibtex":"https://ijcai.org/proceedings/1997/bibtex/20","volume":{"slug":"1997","title":"Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1997","url":"https://ijcai.org/proceedings/1997/","year":1997,"location":"Nagoya, Japan","dates":"","editors":"Martha E. Pollack","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Automated Reasoning","track":"Automated Reasoning","number":20,"pages":{"first":128,"last":134},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}