Cloete, Walter (Walter Theophilus Woldemar)
(Stellenbosch : Stellenbosch University, 2012-03)
ENGLISH ABSTRACT: Truth preservation is an important topic in model theory. However a brief examination
of the models for a logic often show that isomorphism is needlessly
restrictive as a truth preserving construction. ...