A few more useful 8-valued logics for reasoning with tetralattice eight
Studia Logica 92 (2):265 - 280 (2009)
| Abstract | In their useful logic for a computer network Shramko and Wansing generalize initial values of Belnap’s 4-valued logic to the set 16 to be the power-set of Belnap’s 4. This generalization results in a very specific algebraic structure — the trilattice SIXTEEN 3 with three orderings: information, truth and falsity. In this paper, a slightly different way of generalization is presented. As a base for further generalization a set 3 is chosen, where initial values are a — incoming data is asserted, d — incoming data is denied, and u — incoming data is neither asserted nor denied, that corresponds to the answer “don’t know”. In so doing, the power-set of 3, that is the set 8 is considered. It turns out that there are not three but four orderings naturally defined on the set 8 that form the tetralattice EIGHT 4 . Besides three ordering relations mentioned above it is an extra uncertainty ordering. Quite predictably, the logics generated by a –order (truth order) and d –order (falsity order) coincide with first-degree entailment. Finally logic with two kinds of operations ( a –connectives and d –connectives) and consequence relation defined via a –ordering is considered. An adequate axiomatization for this logic is proposed. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDidier Dubois & Henri Prade (1996). New Trends and Open Problems in Fuzzy Logic and Approximate Reasoning. Theoria 11 (3):109-121.
Henri Prade (1996). New Trends and Open Problems in Fuzzy Logic and Approximate Reasoning. Theoria 11 (3):109-121.
Helena Rasiowa (1994). Axiomatization and Completeness of Uncountably Valued Approximation Logic. Studia Logica 53 (1):137 - 160.
Richard DeWitt (2005). On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics. Journal of Philosophical Logic 34 (5-6):545 - 560.
Fred Seymour Michael (2002). Entailment and Bivalence. Journal of Philosophical Logic 31 (4):289-300.
A. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
Yaroslav Shramko & Heinrich Wansing (2006). Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. Journal of Logic, Language and Information 15 (4).
Yaroslav Shramko & Heinrich Wansing (2005). Some Useful 16-Valued Logics: How a Computer Network Should Think. Journal of Philosophical Logic 34 (2):121 - 153.
Analytics
Monthly downloads |
Added to index2009-07-11Total downloads11 ( #99,396 of 548,977 )Recent downloads (6 months)1 ( #63,511 of 548,977 )How can I increase my downloads? |
My notes
Discussion
