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

5 070 (0,192s)

Výsledek výzkumu

On the complexity of the Leibniz hierarchy

Pure mathematics

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

Filters in Algebras of Fuzzy logics

BA - Obecná matematika

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

Constructing Natural Extensions of Propositional Logics

BA - Obecná matematika

  • 2016
  • Jx
  • Odkaz
Výsledek výzkumu

An Abstract Approach to Fuzzy Logics: Implicational Semilinear Logics

BA - Obecná matematika

  • 2009
  • D
Výsledek výzkumu

Modules over quantaloids: Applications to the isomorphism problem in algebraic logic and pi-institutions

Pure mathematics

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

A new hierarchy of infinitary logics in abstract algebraic logic

Pure mathematics

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

A Note on Natural Extensions in Abstract Algebraic Logic

BA - Obecná matematika

  • 2015
  • Jx
  • Odkaz
Výsledek výzkumu

Singly Generated Quasivarieties and Residuated Structures

Pure mathematics

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

A Study of Truth Predicates in Matrix Semantics

Pure mathematics

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

Varieties of positive modal algebras and structural completeness

Pure mathematics

  • 2019
  • Jimp
  • Odkaz
  • 1 - 10 z 5 070