David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 92 (2):265 - 280 (2009)
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||Generalized truth values Dunn–Belnap logic Shramko–Wansing logic bilattice trilattice tetralattice first-degree entailment|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Didier 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):403-424.
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.
Added to index2009-07-11
Total downloads12 ( #104,704 of 1,008,724 )
Recent downloads (6 months)1 ( #64,702 of 1,008,724 )
How can I increase my downloads?