scientific article; zbMATH DE number 58130

MaRDI QIDQ4005058zbMATH OpenFDO

Authors N. Kh. Kasymov

Publication date 27 September 1992

zbMATH Keywords

Closed World Assumptioncompletable extensionconstructive modelsconstructivizable modelincomplete knowledgepositive models

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Logic programming (68N17) Knowledge representation (68T30)

Recommendations

• Correlation of some notions of constructive model theory
• Publication:3490957
• Publication:3491529
• Boolean valued models and incomplete specifications
• scientific article; zbMATH DE number 732052

Cited in

(10)

• Construction of universal modal worlds based on hyperset theory
• The number of \(Q\)-congruences in positive algebras
• To the problem of incompleteness of theoretical constructs (illustrated by examples of formalization of some problems of natural sciences)
• Correlation of some notions of constructive model theory
• scientific article; zbMATH DE number 4164816 (Why is no real title available?)
• A note on the least informative model of a theory
• scientific article; zbMATH DE number 4112563 (Why is no real title available?)
• A Complete Axiomatization for Blocks World
• Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts
• Separable algorithmic representations of classical systems and their applications

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 Q4005058)