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

03B99: General logic

03C35: Categoricity and completeness of theories

Related Items

Maximal Logics

Cites Work

• On Extensions of Elementary Logic