David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 5 (1):25--63 (1996)
The notion of bilattice was introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications. In the present paper we develop proof systems, which correspond to bilattices in an essential way. For this goal we introduce the notion of logical bilattices. We also show how they can be used for efficient inferences from possibly inconsistent data. For this we incorporate certain ideas of Kifer and Lozinskii, which happen to suit well the context of our work. The outcome are paraconsistent logics with a lot of desirable properties.1
|Keywords||Substructural logics relevance logic many-valued logics hypersequents|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Yaroslav Shramko & Heinrich Wansing (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. [REVIEW] Journal of Philosophical Logic 34 (2):121 - 153.
Norihiro Kamide & Heinrich Wansing (2009). Sequent Calculi for Some Trilattice Logics. Review of Symbolic Logic 2 (2):374-395.
Sergei P. Odintsov & Heinrich Wansing (2015). The Logic of Generalized Truth Values and the Logic of Bilattices. Studia Logica 103 (1):91-112.
Norihiro Kamide (2005). Gentzen-Type Methods for Bilattice Negation. Studia Logica 80 (2-3):265 - 289.
Stefan Wintein (2016). On All Strong Kleene Generalizations of Classical Logic. Studia Logica 104 (3):503-545.
Similar books and articles
Melvin Fitting (1989). Bilattices and the Theory of Truth. Journal of Philosophical Logic 18 (3):225 - 256.
Arnon Avron, A Model-Theoretic Approach for Recovering Consistent Data From Inconsistent Knowledge-Bases.
A. Jung & U. Rivieccio (2012). Priestley Duality for Bilattices. Studia Logica 100 (1-2):223-252.
Andreas Schöter (1996). Evidential Bilattice Logic and Lexical Inference. Journal of Logic, Language and Information 5 (1):65-105.
Melvin Fitting (2006). Bilattices Are Nice Things. In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. Csli Publications
Added to index2009-01-28
Total downloads18 ( #203,469 of 1,796,307 )
Recent downloads (6 months)3 ( #283,261 of 1,796,307 )
How can I increase my downloads?