HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
type: Item
instance of: scholarly article
title: HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
zbMATH Open document ID: 0565.03032
author: R. A. G. Seely
published in: Mathematical Logic Quarterly
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 18D30
zbMATH DE Number: 3900748
zbMATH Keywords: hyperdoctrine
zbMATH Keywords: adjointness
zbMATH Keywords: quantifiers
zbMATH Keywords: substitution
zbMATH Keywords: fibered categories
zbMATH Keywords: category of types
zbMATH Keywords: pull-back
zbMATH Keywords: associated theory
MaRDI profile type: Publication
full work available at URL: malq.19830291005
OpenAlex ID: W2016862652
DOI: 10.1002/MALQ.19830291005
description: scientific article