Title: Minimal Paradefinite Logics for Reasoning with Incompleteness and Inconsistency
Abstract: Paradefinite (`beyond the definite') logics are logics that can be
used for handling contradictory or partial information. As such,
paradefinite logics should be both paraconsistent and paracomplete. In
this paper we consider the simplest semantic framework for defining
paradefinite logics, consisting of four-valued matrices, and study the
better accepted logics that are induced by these matrices.
Publication Year: 2016
Publication Date: 2016-01-01
Language: en
Type: article
Access and Citation
Cited By Count: 9
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot