Categorical De Morgan laws
- 37 Downloads
KeywordsBoolean Algebra Algebra UNIV Small Category Heyting Algebra Finite Distributive Lattice
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- S. Mac Lane, Sets, topoi, and internal logic in categories, in Google Scholar
- H. Rasiowa andR. Sikorski,The Mathematics of Metamathematics, Warsaw, 1970.Google Scholar
- H. E. Rose andJ. C. Shepherdson (editors),Logic Colloquium '76, North-Holland Amsterdam. (1975).Google Scholar
- M. E. Szabo,Algebra of Proofs, North-Holland, Amsterdam, in press.Google Scholar
- G. C. Wraith Lectures on elementary topoi, in  114–206.Google Scholar
© Birkhäuser Verlag 1981