NDLI: Some Useful 16-Valued Logics: How a Computer Network Should Think

Please wait, while we are loading the content...

Some Useful 16-Valued Logics: How a Computer Network Should Think

Content Provider	Springer Nature Link
Author	Shramko, Yaroslav Wansing, Heinrich
Copyright Year	2005
Abstract	In Belnap’s useful 4-valued logic, the set 2={T,F} of classical truth values is generalized to the set 4=℘(2)={∅,{T},{F},{T,F}}. In the present paper, we argue in favor of extending this process to the set 16=℘(4) (and beyond). It turns out that this generalization is well-motivated and leads from the bilattice FOUR$_{2}$ with an information and a truth-and-falsity ordering to another algebraic structure, namely the trilattice SIXTEEN$_{3}$ with an information ordering together with a truth ordering and a (distinct) falsity ordering. Interestingly, the logics generated separately by the algebraic operations under the truth order and under the falsity order in SIXTEEN$_{3}$ coincide with the logic of FOUR$_{2}$, namely first degree entailment. This observation may be taken as a further indication of the significance of first degree entailment. In the present setting, however, it becomes rather natural to consider also logical systems in the language obtained by combining the vocabulary of the logic of the truth order and the falsity order. We semantically define the logics of the two orderings in the extended language and in both cases axiomatize a certain fragment comprising three unary operations: a negation, an involution, and their combination. We also suggest two other definitions of logics in the full language, including a bi-consequence system. In other words, in addition to presenting first degree entailment as a useful 16-valued logic, we define further useful 16-valued logics for reasoning about truth and (non-)falsity. We expect these logics to be an interesting and useful instrument in information processing, especially when we deal with a net of hierarchically interconnected computers. We also briefly discuss Arieli’s and Avron’s notion of a logical bilattice and state a number of open problems for future research.
Starting Page	121
Ending Page	153
Page Count	33
File Format	PDF
ISSN	00223611
Journal	Journal of Philosophical Logic
Volume Number	34
Issue Number	2
e-ISSN	15730433
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	2005-01-01
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	4-valued logic 16-valued logic bi-consequence logic first degree entailment generalized truth values (logical) bilattices trilattices multilattices Logic
Content Type	Text
Resource Type	Article
Subject	Philosophy

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

The Logic of Generalized Truth Values and the Logic of Bilattices

A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT $_{4}$

On the first degree entailment of two 3-valued logics.

Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood

Logic and truth: Some logics without theorems

Reinflating Logical Consequence

4-valued reasoning with stratified bilattices.

Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators

Taking Degrees of Truth Seriously

Some Useful 16-Valued Logics: How a Computer Network Should Think

Similar Documents

The Logic of Generalized Truth Values and the Logic of Bilattices

A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT $_{4}$

On the first degree entailment of two 3-valued logics.

Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood

Logic and truth: Some logics without theorems

Reinflating Logical Consequence

4-valued reasoning with stratified bilattices.

Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators

Taking Degrees of Truth Seriously

Some Useful 16-Valued Logics: How a Computer Network Should Think