zbMATH — the first resource for mathematics

A topological approach to universal logic: model-theoretical abstract logics. 2nd revised ed. (English) Zbl 1143.03355
Beziau, Jean-Yves (ed.), Logica universalis. Towards a general theory of logic. Basel: Birkhäuser (ISBN 978-3-7643-8353-4/pbk). 35-61 (2007).
See the review of the original paper in Zbl 1082.03041.
For the entire collection see [Zbl 1138.03002].

03C95 Abstract model theory
03B22 Abstract deductive systems
03G30 Categorical logic, topoi
PDF BibTeX Cite