Publication:3961629
From MaRDI portal
zbMath0497.18004MaRDI QIDQ3961629
Publication date: 1981
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1981__22_3_249_0
03C99: Model theory
18C05: Equational categories
18A10: Graphs, diagram schemes, precategories
18A15: Foundations, relations to logic and deductive systems
Related Items
Unnamed Item, Monoidal indeterminates and categories of possible worlds, Pseudo-commutativity of KZ 2-monads, Higher-dimensional word problems with applications to equational logic, Partial Horn logic and Cartesian categories, A presentation of topoi as algebraic relative to categories or graphs, Functorial semantics and HSP type theorems, On the equational definition of the least prefixed point., Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item