4 results
Theories of analytic monads
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 6 / December 2014
- Published online by Cambridge University Press:
- 11 March 2014, e240604
-
- Article
- Export citation
Rigidity is undecidable
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 6 / December 2014
- Published online by Cambridge University Press:
- 11 March 2014, e240605
-
- Article
- Export citation
A sheaf representation and duality for finitely presented Heyting algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 911-939
- Print publication:
- September 1995
-
- Article
- Export citation
Andrew M. Pitts. Interpolation and conceptual completeness for pretoposes via category theory. Mathematical logic and theoretical computer science, edited by Kueker David W., Lopez-Escobar Edgar G. K. and Smith Carl H., Lecture notes in pure and applied mathematics, vol. 106, Marcel Dekker, New York and Basel1987, pp. 301–327. - Andrew M. Pitts. Conceptual completeness for first-order intuitionistic logic: an application of categorical logic. Annals of pure and applied logic, vol. 41 (1989), pp. 33–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 2 / June 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 692-694
- Print publication:
- June 1995
-
- Article
- Export citation