The consistency property in lattice valued model theory for infinitary logic

DOI10.1007/BF02565022MaRDI QIDQ3778733zbMATH OpenFDO

Authors Fuxing Shen

Publication date 1987

Published in Acta Mathematica Sinica, English Series (Search for Journal in Brave)

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3815611 (Why is no real title available?)
• scientific article; zbMATH DE number 3821710 (Why is no real title available?)
• scientific article; zbMATH DE number 3773579 (Why is no real title available?)
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers

Cited in

(1)

• scientific article; zbMATH DE number 221397 (Why is no real title available?)

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

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