Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference54 articles.
1. Bezhanishvili, G. (2014). Leo Esakia on Duality in Modal and Intuitionistic Logics. Dordrecht: Springer.
2. Bezhanishvili, G., Bezhanishvili, N., Gabelaia, D., & Kurz, A. (2010). Bitopological duality for distributive lattices and Heyting algebras. Mathematical Structures in Computer Science, 20, 359–393.
3. Cederquist, J., Coquand, T., & Negri, S. (1998). The Hahn–Banach theorem in type theory. In G. Sambin & J. Smith (Eds.), Twenty-five years of constructive type theory (pp. 57–72). Oxford: Oxford University Press.
4. Cederquist, J., & Negri, S. (1996). A constructive proof of the heine-borel covering theorem for formal reals. In S. Berardi & M. Coppo (Eds.), Types for proofs and programs. Lecture notes in computer science (Vol. 1158, pp. 62–75). Berlin: Springer.
5. Celani, S., & Jansana, R. (2001). A closer look at some subintuitionistic logics. Notre Dame Journal Formal Logic, 42, 225–255.