HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
- 1 January 1983
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 29 (10) , 505-542
- https://doi.org/10.1002/malq.19830291005
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Tripos theoryMathematical Proceedings of the Cambridge Philosophical Society, 1980
- Weak adjointness in proof theoryPublished by Springer Nature ,1979
- Abstract families and the adjoint functor theoremsPublished by Springer Nature ,1978
- Doctrines in Categorical LogicPublished by Elsevier ,1977
- The Logic of TopoiPublished by Elsevier ,1977
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Ideas and Results in Proof TheoryPublished by Elsevier ,1971
- Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des TypesPublished by Elsevier ,1971
- Equality in hyperdoctrines and comprehension schema as an adjoint functorProceedings of Symposia in Pure Mathematics, 1970
- Adjointness in FoundationsDialectica, 1969