Interpolation and definability in abstract logics

DOI10.1007/BF00660898zbMath0311.02024MaRDI QIDQ1219265

Finn Verner Jensen

Publication date: 1974

Published in: Synthese (Search for Journal in Brave)

Mathematics Subject Classification ID

General logic (03B99) Categoricity and completeness of theories (03C35)

Related Items

Maximal Logics

Cites Work

• On Extensions of Elementary Logic