scientific article; zbMATH DE number 4160680

zbMATH Open0707.03003MaRDI QIDQ3487314FDOQ3487314

Authors: Yiqing Zhu, Li-Zhong Tang 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• First order languages: further syntax and semantics
• A constructive investigation of satisfiability
• Decidability and expressiveness for first-order logics of probability
• Correlation of some notions of constructive model theory
• scientific article; zbMATH DE number 1841824

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Classical first-order logic (03B10)

This page was built for publication:

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