Théories egalitaires dans les langages sur types de graphes

DOI10.1007/BF02482913zbMath0448.03053OpenAlexW2021017628MaRDI QIDQ1146671

Georges Blanc

Publication date: 1980

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02482913

zbMATH Keywords

deductive systemintuitionistic type theoryisomorphisms of graphical configurationslanguages on diagrams

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Graphs, diagram schemes, precategories (18A10) Equational classes, universal algebra in model theory (03C05) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

Conditional theories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Théories egalitaires dans les langages sur types de graphes