Switch to: References

Add citations

You must login to add citations.
  1. Omitting types in fuzzy logic with evaluated syntax.Petra Murinová & Vilém Novák - 2006 - Mathematical Logic Quarterly 52 (3):259-268.
    This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. We consider a formal system EvŁ of fuzzy logic that has evaluated syntax, i. e. axioms need not be fully convincing and so, they form a fuzzy set only. Consequently, formulas are provable in some general degree. A generalization of Gödel's completeness theorem does hold in EvŁ. The truth values form an MV-algebra that is either finite or Łukasiewicz algebra on [0, 1].The classical (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations