scientific article; zbMATH DE number 3783237
From MaRDI portal
Publication:3961629
zbMATH Open0497.18004MaRDI QIDQ3961629FDOQ3961629
Authors: Albert Burroni 
Publication date: 1981
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1981__22_3_249_0
Title of this publication is not available (Why is that?)
Foundations, relations to logic and deductive systems (18A15) Equational categories (18C05) Graphs, diagram schemes, precategories (18A10) Model theory (03C99)
Cited In (16)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Every theory is algebraic and topologic
- A presentation of topoi as algebraic relative to categories or graphs
- Monoidal indeterminates and categories of possible worlds
- Monoidal indeterminates and categories of possible worlds
- Partial Horn logic and Cartesian categories
- Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
- Title not available (Why is that?)
- Title not available (Why is that?)
- Functorial semantics and HSP type theorems
- Higher-dimensional word problems with applications to equational logic
- Pseudo-commutativity of KZ 2-monads
- Title not available (Why is that?)
- On the equational definition of the least prefixed point.
- HSP type theorems in the category of posets
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3961629)
