On quasi-varieties of multiple valued logic models (abstract)
We extend the concept of quasi-variety of first-order models from
classical logic to multiple valued logic (MVL) and study the
relationship between quasi-varieties and existence of initial models
in MVL.
We define a concept of ‘Horn sentence’ in MVL and based upon our study
of quasi-varieties of MVL models we derive the existence of initial
models for MVL ‘Horn theories’.
back to Selected Publications