𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the abstract characterization of quasi-varieties

✍ Scribed by M.C. Pedicchio; E.M. Vitale


Publisher
Springer
Year
2000
Tongue
English
Weight
71 KB
Volume
43
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On quasi-varieties of multiple valued lo
✍ RΔƒzvan Diaconescu πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 128 KB

## MSC (2010) 03B50, 03C05 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 st