scientific article

zbMath0476.18001MaRDI QIDQ3933144

Axel Möbus

Publication date: 1982

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1982__23_1_47_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

natural transformationcategories of functional formulaefunctors preserving monomorphismssyntactical functor between logical theories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Unnamed Item

This page was built for publication: