Boolean valued models and incomplete specifications

DOI10.1016/0743-1066(92)90025-XzbMath0766.03023OpenAlexW2042372185MaRDI QIDQ3992230

Bernd I. Dahn

Publication date: 13 August 1992

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(92)90025-x

zbMATH Keywords

resolution calculusBoolean valued modelleast Herbrand modeluniversal sentencesconsistent universal first order theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

This page was built for publication: Boolean valued models and incomplete specifications