6 papers
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…
Modelling competing theories
Willem Conradie, Andrew Craig, Alessandra Palmigiano +1
We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and p…
Modelling informational entropy
Willem Conradie, Andrew Craig, Alessandra Palmigiano +1
By 'informational entropy', we understand an inherent boundary to knowability, due e.g. to perceptual, theoretical, evidential or linguistic limits. In this paper, we discuss a log…
Microarcsecond VLBI pulsar astrometry with PSR II. parallax distances for 57 pulsars
A. T. Deller, W. M. Goss, W. F. Brisken +8
We present the results of PSR, a large astrometric project targeting radio pulsars using the Very Long Baseline Array (VLBA). From our astrometric database of 60 pulsars, we hav…
Constructive canonicity for lattice-based fixed point logics
Willem Conradie, Andrew Craig, Alessandra Palmigiano +1
We prove the algorithmic canonicity of two classes of -inequalities in a constructive meta-theory of normal lattice expansions. This result simultaneously generalizes Conradie a…