Interpolation property for bicartesian closed categories

DOI10.1007/BF01270628zbMath0807.03037MaRDI QIDQ1337501

Djordje Čubrić

Publication date: 6 November 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

intuitionistic propositional logicpushoutsinterpolation propertybicartesian closed categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Computing interpolants in implicational logics

Cites Work

• Amalgamation and interpolation in the category of Heyting algebras
• An application of open maps to categorical logic
• Two-dimensional monad theory
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation property for bicartesian closed categories