Expanding Belnap 2: the dual category in depth

Andrew P.K. Craig; Brian A. Davey; Miroslav Haviar

doi:10.52547/cgasa.17.1.47

Expanding Belnap 2: the dual category in depth

Andrew P.K. Craig, Brian A. Davey, Miroslav Haviar

Mathematics and Applied Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N. D. Belnap in a 1977 paper entitled How a computer should think. Prioritised default bilattices include not only Belnap’s four values, for ‘true’ (t), ‘false’(f), ‘contradiction’ (T) and ‘no information’ (⊥), but also indexed families of default values for simultaneously modelling degrees of knowledge and truth. Prioritised default bilattices have applications in a number of areas including artificial intelligence.

Original language	English
Pages (from-to)	47-83
Number of pages	37
Journal	Categories and General Algebraic Structures with Applications
Volume	17
Issue number	1
DOIs	https://doi.org/10.52547/cgasa.17.1.47
Publication status	Published - Jul 2022

Keywords

Bilattice
Default bilattice
Multi-sorted natural duality
Natural duality
Piggyback duality
Priestley duality

ASJC Scopus subject areas

Analysis
Discrete Mathematics and Combinatorics
Computational Mathematics
Applied Mathematics

Access to Document

10.52547/cgasa.17.1.47

Cite this

@article{f4c1a7c99472442a862f3ec9ee225bd9,

title = "Expanding Belnap 2: the dual category in depth",

abstract = "Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N. D. Belnap in a 1977 paper entitled How a computer should think. Prioritised default bilattices include not only Belnap{\textquoteright}s four values, for {\textquoteleft}true{\textquoteright} (t), {\textquoteleft}false{\textquoteright}(f), {\textquoteleft}contradiction{\textquoteright} (T) and {\textquoteleft}no information{\textquoteright} (⊥), but also indexed families of default values for simultaneously modelling degrees of knowledge and truth. Prioritised default bilattices have applications in a number of areas including artificial intelligence.",

keywords = "Bilattice, Default bilattice, Multi-sorted natural duality, Natural duality, Piggyback duality, Priestley duality",

author = "Craig, {Andrew P.K.} and Davey, {Brian A.} and Miroslav Haviar",

note = "Publisher Copyright: {\textcopyright} Shahid Beheshti University",

year = "2022",

month = jul,

doi = "10.52547/cgasa.17.1.47",

language = "English",

volume = "17",

pages = "47--83",

journal = "Categories and General Algebraic Structures with Applications",

issn = "2345-5853",

publisher = "Shahid Beheshti University",

number = "1",

}

TY - JOUR

T1 - Expanding Belnap 2

T2 - the dual category in depth

AU - Craig, Andrew P.K.

AU - Davey, Brian A.

AU - Haviar, Miroslav

N1 - Publisher Copyright: © Shahid Beheshti University

PY - 2022/7

Y1 - 2022/7

N2 - Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N. D. Belnap in a 1977 paper entitled How a computer should think. Prioritised default bilattices include not only Belnap’s four values, for ‘true’ (t), ‘false’(f), ‘contradiction’ (T) and ‘no information’ (⊥), but also indexed families of default values for simultaneously modelling degrees of knowledge and truth. Prioritised default bilattices have applications in a number of areas including artificial intelligence.

AB - Bilattices, which provide an algebraic tool for simultaneously modelling knowledge and truth, were introduced by N. D. Belnap in a 1977 paper entitled How a computer should think. Prioritised default bilattices include not only Belnap’s four values, for ‘true’ (t), ‘false’(f), ‘contradiction’ (T) and ‘no information’ (⊥), but also indexed families of default values for simultaneously modelling degrees of knowledge and truth. Prioritised default bilattices have applications in a number of areas including artificial intelligence.

KW - Bilattice

KW - Default bilattice

KW - Multi-sorted natural duality

KW - Natural duality

KW - Piggyback duality

KW - Priestley duality

UR - http://www.scopus.com/inward/record.url?scp=85136085420&partnerID=8YFLogxK

U2 - 10.52547/cgasa.17.1.47

DO - 10.52547/cgasa.17.1.47

M3 - Article

AN - SCOPUS:85136085420

SN - 2345-5853

VL - 17

SP - 47

EP - 83

JO - Categories and General Algebraic Structures with Applications

JF - Categories and General Algebraic Structures with Applications

IS - 1

ER -

Expanding Belnap 2: the dual category in depth

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this