5 found
Order:
  1.  19
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  48
    First-Order Fuzzy Logic.Vilém Novák - 1987 - Studia Logica 46 (1):87 - 109.
    This paper is an attempt to develop the many-valued first-order fuzzy logic. The set of its truth, values is supposed to be either a finite chain or the interval 0, 1 of reals. These are special cases of a residuated lattice L, , , , , 1, 0. It has been previously proved that the fuzzy propositional logic based on the same sets of truth values is semantically complete. In this paper the syntax and semantics of the first-order fuzzy logic (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  5
    Joint Consistency of Fuzzy Theories.Vilém Novák - 2002 - Mathematical Logic Quarterly 48 (4):563-573.
    This paper is a contribution to the development of fuzzy logic in narrow sense with evaluated syntax and connectives interpreted in Łukasiewicz algebra. The main results concern model theory of fuzzy logic and generalization of the Craig-Robinson's theorem on joint consistency of fuzzy theories as well as Craig's interpolation theorem.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  9
    Syllogisms and 5-Square of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic.Petra Murinová & Vilém Novák - 2016 - Logica Universalis 10 (2-3):339-357.
    In this paper, we provide an overview of some of the results obtained in the mathematical theory of intermediate quantifiers that is part of fuzzy natural logic. We briefly introduce the mathematical formal system used, the general definition of intermediate quantifiers and define three specific ones, namely, “Almost all”, “Most” and “Many”. Using tools developed in FNL, we present a list of valid intermediate syllogisms and analyze a generalized 5-square of opposition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  6
    Recognition of Damaged Letters Based on Mathematical Fuzzy Logic Analysis.Vilém Novák, Petr Hurtík, Hashim Habiballa & Martin Štepnička - 2015 - Journal of Applied Logic 13 (2):94-104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark