151 citations · 163 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 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'.…
math.LO2020
Canonical extensions of lattices are more than perfect
Andrew P. K. Craig, Maria J. Gouveia, Miroslav Haviar
In \cite{CGH15} we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical extensions of lattices. In this continuation of \cite{CGH15} we ans…