All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

130 982 (0,229s) •

Result

Higher Order Fuzzy Logic

In the lecture, higher order fuzzy logic (fuzzy type theory) was presented.

BA - Obecná matematika

  • 2011
    • •
  • D
Result

Fuzzy type theory as higher order fuzzy logic

In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour kinds of fuzzy type theory are presented. This theory is a higher order fuzzy

BA - Obecná matematika

  • 2005
    • •
  • D
Result

Mathematical fuzzy logic in modeling of natural language semantics

This chapter contains an overview of some achievements in the modeling of semantics of some parts of natural languages using the calculus of mathematical fuzzy logic, namely the higher order one. In the second part...

BA - Obecná matematika

  • 2007
    • •
  • C
Result

EQ-algebras

We introduce a special class of algebras called EQ-algebras. It has three basic binary operations --- meet, multiplication and fuzzy equality --- and a top element. This algebra is expected to become the algebra of truth values for fuzzy...

BA - Obecná matematika

  • 2009
    • •
  • Jx
Result

EQ-algebras: primary concepts and properties

algebraproposed as an algebra of truth values on the basis of which the fuzzy type theory (a higher-order fuzzy logic) should be developed.A special algebra called EQ-algebra is introduced which has three...

BA - Obecná matematika

  • 2006
    • •
  • A
Result

Elements of Model Theory in Higher Order Fuzzy Logic

In this paper, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interesting specificities...

BA - Obecná matematika

  • 2012
    • •
  • Jx
Result

Comments on Fuzzy Logic and Higher-Order Vagueness by Nicholas J. J. Smith

of vagueness with a logical justification. Fuzzy plurivaluations are explained as the classes of models of theories in fuzzy logic expressing the meaning postulates of vague terms.Consequently, supertruth correspo...

BA - Obecná matematika

  • 2011
    • •
  • C
    • •
  • Link
Result

Rough Sets and Topology in AST: a Study via Higher-order Fuzzy Logic

introduced in the Alternative Set Theory (AST). Using the formalism of higher-order fuzzy logic (FTT), we prove syntactically that the main properties and relations among all the considered concepts hold both in ...

Pure mathematics

  • 2021
    • •
  • D
    • •
  • Link
Result

Rough Sets and Topology in AST: a Study via Higher-order Fuzzy Logic

introduced in the Alternative Set Theory (AST). Using the formalism of higher-order fuzzy logic (FTT), we prove syntactically that the main properties and relations among all the considered concepts hold both in c...

Pure mathematics

  • 2022
    • •
  • D
    • •
  • Link
Result

From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto

of fuzzy mathematics can be characterized as Henkin-style higher-order fuzzy logic on H'ajek's methodology in fuzzy logic, which enable us to follow closely, with the layers of formal

BA - Obecná matematika

  • 2006
    • •
  • Jx
  • 1 - 10 out of 130 982