scientific article; zbMATH DE number 5316602

MaRDI QIDQ3520837zbMATH OpenFDO

Authors Steffen Lewitzka

Publication date 26 August 2008

zbMATH Keywords

abstract logicinstitutionstopologyuniversal logic

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract model theory (03C95) Categorical logic, topoi (03G30)

Cited in

(6)

• A shared framework for consequence operations and abstract model theory
• scientific article; zbMATH DE number 5316601 (Why is no real title available?)
• scientific article; zbMATH DE number 1497740 (Why is no real title available?)
• CAPTURING CONSEQUENCE
• Morpho-logic from a topos perspective -- application to symbolic AI
• Topological inquiry in abstract model theory

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520837)