Quotients of d-Frames

It is shown that every d-frame admits a complete lattice of quotients. Quotienting may be triggered by a binary relation on one of the two constituent frames, or by changes to the consistency or totality structure, but as these are linked by the reasonableness conditions of d-frames, the result in general will be that both frames are factored and both consistency and totality are increased.

[1]  S. Vickers.  Topology via Logic , 1989 .

[2]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[3]  Jorge Picado,et al.  Frames and Locales - Topology without points , 2011, Frontiers in mathematics.

[4]  Stefan Friedrich,et al.  Topology , 2019, Arch. Formal Proofs.

[5]  Arnon Avron,et al.  Reasoning with logical bilattices , 1996, J. Log. Lang. Inf..

[6]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[7]  Achim Jung,et al.  Free constructions and coproducts of d-frames , 2017, CALCO.

[8]  S. Lane.  Categories for the Working Mathematician , 1971 .

[9]  Nuel D. Belnap,et al.  How a Computer Should Think , 2019, New Essays on Belnap-­Dunn Logic.

[10]  Dana S. Scott,et al.  Some Domain Theory and Denotational Semantics in Coq , 2009, TPHOLs.

[11]  K. Hofmann,et al.  Continuous Lattices and Domains , 2003 .

[12]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[13]  Anneli Folkesson.  Semantics of programming languages, Spring -09 , 2008 .

[14]  Umberto Rivieccio,et al.  An Algebraic Study of Bilattice-based Logics , 2010, 1010.2552.