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

14 273 (0,114s) •

Result

What does Mathematical Fuzzy Logic Offer to Description Logic?

Continuous t-norm based fuzzy predicate logic is surveyed as a generalization of classical predicate logic; the kind of fuzzy description logic based on our fuzzy predicate

BA - Obecná matematika

  • 2006
    • •
  • C
Result

Monadic Fuzzy Predicate Logic.

Two wariants of monadic fuzzy predicate logic are analeyed and compared with the fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tau...

BA - Obecná matematika

  • 2002
    • •
  • Jx
Result

On Theories and Models in Fuzzy Predicate Logics

at the propositional level, the fuzzy predicate logics have developed more slowly (compared to the propositional ones). In this text we aim to promote interest in fuzzy predicate logics by contri...

BA - Obecná matematika

  • 2006
    • •
  • Jx
Result

Fuzzy Relations Equations via Basic Predicate Fuzzy Logic

The paper presents solution of fuzzy relations equations in BL-fuzzy predicate logic using purely formal syntax...

BA - Obecná matematika

  • 2002
    • •
  • C
Result

Arithmetical Complexity of Fuzzy Predicate Logics - A Survey II

Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfable formulas, ...) are surveyed and some new results are proven....

BA - Obecná matematika

  • 2009
    • •
  • Jx
Result

Introduction to Mathematical Fuzzy Logic. Chapter 1

fuzzy logic. Starting from the syntax and semantics of t-norm fuzzy logics, it systematically surveys the systems of propositional fuzzy logics known from the literature, theirgeneral and particu...

BA - Obecná matematika

  • 2011
    • •
  • C
Result

Fuzzy Predicate Calculus and Fuzzy Rules.

The basic many-sorted fuzzy predicate calculus BLforall is presented and used to express and prove logical properties of 'fuzzy IF-THEN rules'....

BA - Obecná matematika

  • 2000
    • •
  • C
Result

Fuzzy Predicate Logic Deductive System

Application provides interface and algorithms for deduction reasoning in fuzzy predicate logic. It is based on non-clausal resolution....

IN - Informatika

  • 2009
    • •
  • R
Result

Triangular Norm Based Predicate Fuzzy Logics

The paper surveys the present state of knowledge on t-norm based predicate fuzzy logics with their double semantics, standard (the set of truth values being the real interval [0, 1]) and general with abstract algebras of tr...

BA - Obecná matematika

  • 2010
    • •
  • Jx
Result

Function Symbols in Fuzzy Predicate Logic.

How to use function symbols in the basic fuzzy predicate logic and its extensions and presents a completeness theorem for the defined calculus.Other logical properties....

BA - Obecná matematika

  • 2000
    • •
  • D
  • 1 - 10 out of 14 273