activity
20122020
most citedBohr compactifications of algebras and structures

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2020

Expanding Belnap 2: the dual category in depth

Andrew Craig, Brian A. Davey, Miroslav Haviar

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'.…