scientific article
From MaRDI portal
Publication:3803296
zbMath0656.18002MaRDI QIDQ3803296
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categories of algebras (08C05) Foundations, relations to logic and deductive systems (18A15)
Related Items
Monoidal categories with natural numbers object, Coherence in Cartesian closed categories and the generality of proofs, An internal language for autonomous categories, Are the traditional philosophies of mathematics really incompatible?
