Journal of Logic, Language and Information 5 (1):25--63 (1996)
| Authors |
|
| Abstract |
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) |
| DOI | 10.1007/BF00215626 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 65,579
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - citeseerx.ist.psu.edu [2] (no proxy)
- link.springer.com (no proxy)
- link.springer.com [2] (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
How a Computer Should Think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
On the Theory of Inconsistent Formal Systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Natural 3-Valued Logics—Characterization and Proof Theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.
View all 14 references / Add more references
Citations of this work BETA
40 Years of FDE: An Introductory Overview.Hitoshi Omori & Heinrich Wansing - 2017 - Studia Logica 105 (6):1021-1049.
Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.
Belnap-Dunn Semantics for Natural Implicative Expansions of Kleene's Strong Three-Valued Matrix with Two Designated Values.Gemma Robles & José M. Méndez - 2019 - Journal of Applied Non-Classical Logics 29 (1):37-63.
Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.
Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
View all 87 citations / Add more citations
Similar books and articles
Bilattices and the Theory of Truth.Melvin Fitting - 1989 - Journal of Philosophical Logic 18 (3):225 - 256.
Bilattices Are Nice Things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.
Evidential Bilattice Logic and Lexical Inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.
A Model-Theoretic Approach for Recovering Consistent Data From Inconsistent Knowledge-Bases.Arnon Avron - unknown
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Analytics
Added to PP index
2009-01-28
Total views
33 ( #334,679 of 2,461,837 )
Recent downloads (6 months)
1 ( #448,803 of 2,461,837 )
2009-01-28
Total views
33 ( #334,679 of 2,461,837 )
Recent downloads (6 months)
1 ( #448,803 of 2,461,837 )
How can I increase my downloads?
Downloads
