G. Dimov & W. Tholen (1989):
A characterization of representable dualities.
In: J. Adámek & S. MacLane: Categorical Topology and its Relations to Analysis, Algebra and Combinatorics.
World Scientific Publishing, Teaneck, NJ,
pp. 336-357.
C. Faggian & G. Sambin (1998):
From Basic Logic to Quantum Logics with Cut-Elimination.
International Journal of Theoretical Physics 37,
pp. 31–37,
doi:10.1023/A:1026652903971.
J. Frey (2011):
A 2-Categorical Analysis of the Tripos-to-Topos Construction.
http://arxiv.org/abs/1104.2776.
N. Galatos, P. Jipsen, T. Kowalski & H. Ono (2007):
Residuated Lattices: An Algebraic Glimpse at Substructural Logics.
Elsevier.
C. Heunen & B. Jacobs (2010):
Quantum logic in dagger kernel categories.
Order 27,
pp. 177–212,
doi:10.1007/s11083-010-9145-5.
M. Hyland, P. T. Johnstone & A. Pitts (1980):
Tripos theory.
Math. Proc. Cambridge Philos. Soc. 88,
pp. 205–232,
doi:10.1017/s0305004100057534.
B. Jacobs (1999):
Categorical Logic and Type Theory.
Elsevier.
B. Jacobs (2010):
Convexity, Duality, and Effects.
Proc. of 6th IFIP TCS,
pp. 1–19,
doi:10.1007/978-3-642-15240-5-1.
B. Jacobs (2012):
New directions in categorical logic.
http://arxiv.org/abs/1205.3940.
P. T. Johnstone (1982):
Stone Spaces.
Cambridge Univ. Press.
P. T. Johnstone (2002):
Sketches of an Elephant: A Topos Theory Compendium.
Oxford Univ. Press,
doi:10.1017/s1079898600003462.
J. Lambek & P. J. Scott (1986):
Introduction to Higher-Order Categorical Logic.
Cambridge Univ. Press,
doi:10.2307/2274784.
F. W. Lawvere (1970):
Equality in hyperdoctrines and comprehension scheme as an adjoint functor.
Application of Categorical Algebra,
pp. 1–14,
doi:10.1090/pspum/017/0257175.
Y. Maruyama (2010):
Fundamental results for pointfree convex geometry.
Ann. Pure Appl. Logic 161,
pp. 1486–1501,
doi:10.1016/j.apal.2010.05.002.
Y. Maruyama (2013):
From operational Chu duality to coalgebraic quantum symmetry.
In Proc. of CALCO 2013,
doi:10.1007/978-3-642-40206-7-17.
Y. Maruyama (2013):
Full Lambek hyperdoctrine: categorical semantics for first-order substructural logics.
In Proc. of WoLLIC 2013,
doi:10.1007/978-3-642-39992-3-19.
Y. Maruyama:
Categorical duality theory: domains, convexity, and the distribution monad.
In preparation.
M. Ozawa (2007):
Transfer principle in quantum set theory.
J. Symbolic Logic 72,
pp. 625–648,
doi:10.2178/jsl/1185803627.
A. Pitts (2000):
Categorical Logic.
In: S. Abramsky, Dov. M. Gabbay & T. S. E. Maibaum: Handbook of Logic in Computer Science.
Oxford Univ. Press.
H.-E. Porst & W. Tholen (1991):
Concrete dualities.
Category Theory at Work,
pp. 111–136.
G. Takeuti (1981):
Quantum set theory.
Current Issues in Quantum Logic,
pp. 303–322,
doi:10.1007/978-1-4613-3228-2-19.
M. L. J. van de Vel (1993):
Theory of Convex Structures.
North-Holland.
P. Zizzi (2007):
Basic logic and quantum entanglement.
J. Phys.: Conf. Ser. 67(012045),
doi:10.1088/1742-6596/67/1/012045.