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

2 128 (0,068s)

Výsledek výzkumu

Hyperintensional, intensional and extensional context recognition

IN - Informatika

  • 2013
  • D
Výsledek výzkumu

Towards an Extensional Calculus of Hyperintensions

IN - Informatika

  • 2012
  • Jx
Výsledek výzkumu

Extensional principles in three types of context

IN - Informatika

  • 2014
  • D
Výsledek výzkumu

Extensional logic of hyperintensions

IN - Informatika

  • 2012
  • C
  • Odkaz
Výsledek výzkumu

Extensional logic of hyperintensions

IN - Informatika

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

Transparent Quantification into Hyperintensional objectual attitudes

IN - Informatika

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

The Explication of EXPLICATION

AA - Filosofie a náboženství

  • 2015
  • O
Výsledek výzkumu

Logic as Universal Language and Quantification over Orders and Types within Type Theory

AA - Filosofie a náboženství

  • 2015
  • O
Výsledek výzkumu

The Rule of Substitution and Hyperintensional Contexts

Philosophy, History and Philosophy of science and technology

  • 2018
  • O
Výsledek výzkumu

The Rule of Explicit Substitution into (Hyper)intensional Contexts

Philosophy, History and Philosophy of science and technology

  • 2018
  • O
  • 1 - 10 z 2 128