Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

57 849 (0,169s)

Výsledek výzkumu

Descriptions in Full Fuzzy Type Theory

BA - Obecná matematika

  • 2003
  • Jx
Výsledek výzkumu

Subtypes in Fuzzy Type Theory

Pure mathematics

  • 2019
  • Jimp
  • Odkaz
Výsledek výzkumu

Remarks to Model Theory in Higher-Order Fuzzy Logic

BA - Obecná matematika

  • 2012
  • D
Výsledek výzkumu

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

Pure mathematics

  • 2021
  • D
  • Odkaz
Výsledek výzkumu

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

Pure mathematics

  • 2022
  • D
  • Odkaz
Výsledek výzkumu

EQ-algebra-based Fuzzy Type Theory and Its Extensions

BA - Obecná matematika

  • 2011
  • Jx
Výsledek výzkumu

Topology in the Alternative Set Theory and Rough Sets via Fuzzy Type Theory

Pure mathematics

  • 2020
  • Jimp
  • Odkaz
Výsledek výzkumu

Intermediate quantifiers in presence of partial fuzzy sets

Pure mathematics

  • 2018
  • D
  • Odkaz
Výsledek výzkumu

On the properties of intermediate quantifiers and the quantifier ``MORE-THAN''

Pure mathematics

  • 2020
  • D
  • Odkaz
Výsledek výzkumu

Elements of Model Theory in Higher Order Fuzzy Logic

BA - Obecná matematika

  • 2012
  • Jx
  • 1 - 10 z 57 849