Studia Logica 105 (6):1087-1122 (2017)
| Authors |
|
| Abstract |
Paradefinite 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 introducing paradefinite logics. It consists of the four-valued matrices that expand the minimal matrix which is characteristic for first degree entailments: Dunn–Belnap matrix. We survey and study the expressive power and proof theory of the most important logics that can be developed in this framework.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s11225-017-9721-4 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
How a Computer Should Think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
Intuitive Semantics for First-Degree Entailments and 'Coupled Trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
On the Theory of Inconsistent Formal Systems.Newton C. A. Da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
View all 26 references / Add more references
Citations of this work BETA
The Normal and Self-Extensional Extension of Dunn–Belnap Logic.Arnon Avron - 2020 - Logica Universalis 14 (3):281-296.
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.Norihiro Kamide & Yoni Zohar - 2020 - Studia Logica 108 (3):549-571.
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.Norihiro Kamide - 2020 - Journal of Philosophical Logic 49 (6):1185-1212.
Modal Extension of Ideal Paraconsistent Four-Valued Logic and its Subsystem.Norihiro Kamide & Yoni Zohar - 2020 - Annals of Pure and Applied Logic 171 (10):102830.
Similar books and articles
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.Ofer Arieli, Arnon Avron & Anna Zamansky - 2011 - Studia Logica 97 (1):31 - 60.
A Strong and Rich 4-Valued Modal Logic Without Łukasiewicz-Type Paradoxes.José M. Méndez & Gemma Robles - 2015 - Logica Universalis 9 (4):501-522.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
5-Valued Non-Deterministic Semantics for The Basic Paraconsistent Logic mCi.Arnon Avron - 2008 - Studies in Logic, Grammar and Rhetoric 14 (27).
An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
Finite-Valued Reductions of Infinite-Valued Logics.Aguzzoli Stefano & Gerla Brunella - 2002 - Archive for Mathematical Logic 41 (4):361-399.
Logics Without the Contraction Rule and Residuated Lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
Jaśkowski's Criterion and Three-Valued Paraconsistent Logics.Alexander S. Karpenko - 1999 - Logic and Logical Philosophy 7:81.
Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
The Logic Determined by Smiley’s Matrix for Anderson and Belnap’s First-Degree Entailment Logic.José M. Méndez & Gemma Robles - 2016 - Journal of Applied Non-Classical Logics 26 (1):47-68.
The Problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3‐Valued Logics.Walter A. Carnielli - 1987 - Mathematical Logic Quarterly 33 (1):19-29.
Analytics
Added to PP index
2017-04-10
Total views
16 ( #618,202 of 2,411,686 )
Recent downloads (6 months)
1 ( #539,172 of 2,411,686 )
2017-04-10
Total views
16 ( #618,202 of 2,411,686 )
Recent downloads (6 months)
1 ( #539,172 of 2,411,686 )
How can I increase my downloads?
Downloads
