Switch to: References

Add citations

You must login to add citations.
  1. On quasi-varieties of multiple valued logic models.Răzvan Diaconescu - 2011 - Mathematical Logic Quarterly 57 (2):194-203.
    We extend the concept of quasi-variety of first-order models from classical logic to multiple valued logic 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’. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
    Download  
     
    Export citation  
     
    Bookmark   1 citation