1 citations · 1 across the 4 of their papers we have counts for
3 papers · 1 filter
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'.…
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…
Congruence pairs of principal MS-algebras and perfect extensions
Abd El-Mohsen Badawy, Miroslav Haviar, Miroslav Ploščica
The notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for -algebras \cite{6}, is introduced. It is proved that the congruences of the…