A generalization of abstract model theory

DOI10.4064/FM-124-1-1-25zbMath0595.03039OpenAlexW764693870MaRDI QIDQ3726101

Daniele Mundici

Publication date: 1984

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211556

zbMATH Keywords

compactnesselementary equivalenceabstract logicsemantic domainCraig's interpolation theoremtopological logicRobinson's consistency theoremextension of the notion of formulaextension of the notion of structureextensions of first order logicgeneralized structuresmany-sorted first order structuremonotone logic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Abstract model theory (03C95)

Related Items (2)

Choice inclusive general rough semantics ⋮ Towards Logics of Some Rough Perspectives of Knowledge

This page was built for publication: A generalization of abstract model theory