scientific article; zbMATH DE number 4164144

MaRDI QIDQ3490957zbMATH OpenFDO

Authors Bernd I. Dahn

Publication date 1989

zbMATH Keywords

Boolean valued modelsHerbrand modelsspecifications

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Boolean valued models and incomplete specifications
• scientific article; zbMATH DE number 4070876
• Two applications of Boolean models
• Eastern Model‐Theory for Boolean‐Valued Theories
• Publication:3472085

Cited in

(8)

• Two applications of Boolean models
• The Boolean-valued model of the conglomerate axiom system ACG
• scientific article; zbMATH DE number 4139723 (Why is no real title available?)
• Eastern Model‐Theory for Boolean‐Valued Theories
• scientific article; zbMATH DE number 4070876 (Why is no real title available?)
• Boolean valued models and incomplete specifications
• scientific article; zbMATH DE number 58130 (Why is no real title available?)
• Boolean Models and Simultaneous Inequalities

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