03 Mathematical logic and foundations
03Gxx Algebraic logic
03G30 Categorical logic, topoi (3 articles)
- : A logic of orthogonality. (English). Archivum Mathematicum, vol. 42 (2006), issue 4, pp. 309-334
- : De Morgan's and strong De Morgan's laws in a topos of shaves. (English). Acta Universitatis Carolinae. Mathematica et Physica, vol. 28 (1987), issue 2, pp. 9-12
- : A constructive proof of the Tychonoff's theorem for locales. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 26 (1985), issue 3, pp. 619-630
Search
Partner of
