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

4 018 (0,12s)

Výsledek výzkumu

Equilibrium Semantics for IF Logic and Many-Valued Connectives

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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

Advances in Modal Logic, Volume 15

Pure mathematics

  • 2024
  • O
  • Odkaz
Výsledek výzkumu

NCMPL 2011 Abstracts

BA - Obecná matematika

  • 2011
  • O
Výsledek výzkumu

NCMPL 2011. Non-Classical Modal and Predicate Logics

BA - Obecná matematika

  • 2011
  • M
Výsledek výzkumu

Epistemic Extensions of Substructural Inquisitive Logics

Pure mathematics

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

On the Czech Logic in the 20th Century

AA - Filosofie a náboženství

  • 2012
  • C
Výsledek výzkumu

Relevant Epistemic Logic with Public Announcements and Common Knowledge

Pure mathematics

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

Logika

Učebnice obsahuje kapitoly logika a myšlení,význam logiky v učitelském vzdělání, základy výrokové logiky, základy predikátové logiky, základy třídové logiky, použití logiky v metodologii věd,v teo...

AA - Filosofie a náboženství

  • 2009
  • O
Výsledek výzkumu

Non?classical epistemic logics

AA - Filosofie a náboženství

  • 2012
  • W
Výsledek výzkumu

Substructural inquisitive logics

Philosophy, History and Philosophy of science and technology

  • 2019
  • Jimp
  • Odkaz
  • 1 - 10 z 4 018