The consistency property in lattice valued model theory for infinitary logic

DOI10.1007/BF02565022zbMATH Open0638.03035MaRDI QIDQ3778733FDOQ3778733

Authors: Fuxing Shen 

Publication date: 1987

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

Recommendations

• scientific article; zbMATH DE number 1159721
• scientific article; zbMATH DE number 221397
• scientific article; zbMATH DE number 3959397
• scientific article; zbMATH DE number 1150406
• scientific article; zbMATH DE number 1296811

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

• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

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)