@inproceedings{cfd6bd44f6d44a89a65f274b34704f1b,
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.",
keywords = "4-valued logics, Paracompleteness, Paraconsistecy",
author = "Ofer Arieli and Arnon Avron",
note = "Publisher Copyright: {\textcopyright} 2016 Ofer Arieli and Arnon Avron.; 1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016 ; Conference date: 22-06-2016 Through 26-06-2016",
year = "2016",
month = jun,
day = "1",
doi = "10.4230/LIPIcs.FSCD.2016.7",
language = "אנגלית",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Delia Kesner and Brigitte Pientka",
booktitle = "1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016",
address = "גרמניה",
}