On some applications of the semantic evaluation method.

zbMath1039.03506MaRDI QIDQ1130129

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

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