scientific article
From MaRDI portal
Publication:3961629
zbMath0497.18004MaRDI QIDQ3961629
Publication date: 1981
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1981__22_3_249_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Equational categories (18C05) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15)
Related Items
Unnamed Item, Partial Horn logic and Cartesian categories, Unnamed Item, Diagrammatic presentations of enriched monads and varieties for a subcategory of arities, HSP type theorems in the category of posets, On the equational definition of the least prefixed point., Monoidal indeterminates and categories of possible worlds, Pseudo-commutativity of KZ 2-monads, Higher-dimensional word problems with applications to equational logic, Monoidal Indeterminates and Categories of Possible Worlds, Unnamed Item, A presentation of topoi as algebraic relative to categories or graphs, Unnamed Item, Unnamed Item, Functorial semantics and HSP type theorems, Unnamed Item
