On some applications of the semantic evaluation method.

MaRDI QIDQ1130129zbMATH OpenFDO

Authors Vassily Lyubetsky

Publication date 19 August 1998

Published in Problems of Information Transmission (Search for Journal in Brave)

zbMATH Keywords

sheaf models

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Ordered rings, algebras, modules (06F25)

Recommendations

• Specification methods and partial construction of theory by computer
• scientific article; zbMATH DE number 871442
• Experiments with semantic paramodulation
• scientific article; zbMATH DE number 4049008
• Proving semantic properties as first-order satisfiability

Cited in

(1)

• Semantics with applications: an appetizer.

This page was built for publication: On some applications of the semantic evaluation method.

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