The consistency property in lattice valued model theory for infinitary logic

DOI10.1007/BF02565022zbMath0638.03035MaRDI QIDQ3778733

Fuxing Shen

Publication date: 1987

Published in: Acta Mathematica Sinica (Search for Journal in Brave)

zbMATH Keywords

complete latticemodel existenceCraig interpolation theoremlattice-valued modellattice-valued infinitary logicScott isomorphismvaluation lattice

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other infinitary logic (03C75) Other model constructions (03C30)

Cites Work

• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The consistency property in lattice valued model theory for infinitary logic