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”

Filters

58 813 (0,252s)

Result

Logical games and truth values

Formal game theory allows for an alternative view on logical systems: we can see verification of a certain statement as a game - formalized dialogue of two players. The rules of the game correspond to the ...

AA - Filosofie a náboženství

  • 2006
  • D
Result

Games: Unifying Logic, Language, and Philosophy

The volume presents mathematical game theory as an interface between logic. Itincludes articles representing major trends in the field: dialogical approach to logic, Hintikka style game-theoretic semantics...

AA - Filosofie a náboženství

  • 2009
  • B
Result

"Logica ludus"

Recent development of logic has brought about an interest in the interconnections between logic and game theory. As a result, logical calculi have started to logic: Hintikka's game-theore...

AA - Filosofie a náboženství

  • 2006
  • D
Result

Sudoku game solution based on graph theory and suitable for school-mathematics

This article focuses on the logical-mathematical didactic game Sudoku. Analysis of individual fields filling possibilities is mainly based on Graph theory. Ideas as the reasons why this game can be considered a

AM - Pedagogika a školství

  • 2014
  • D
  • Link
Result

Language games and the segmentation of deontic logic

subsumed under the heading 'deontic logic'. Prescriptive language games proposed distinguish different theories to be developed within deontic logic. They differThe paper points to problems that stem from the fact...

AA - Filosofie a náboženství

  • 2014
  • Jx
Result

Towards Evaluation Games for Fuzzy Logics. Chapter 6

The article provides two kinds of game-theoretical semantics for fuzzy logics of the evaluation games for classical logic. It is shown that it provides an interesting contribution to the model theory of fu...

BA - Obecná matematika

  • 2009
  • C
Result

Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors way of implementing the CTT approach within a game-theoretic...

Philosophy, History and Philosophy of science and technology

  • 2018
  • B
  • Link
Result

Interpreting Propositional Fuzzy Logics via Imperfect Information Games

equilibria of semantics games with imperfect information (Hintikka-Sandu or) as truth be obtained in this manner from games with just 0 and 1 as possible payoffs in any run of the game. Here, we investigate whether the pro...

Philosophy, History and Philosophy of science and technology

  • 2020
  • D
  • Link
Result

Methods of Managerial Decision Making in Risk and Uncertainty

The content of the publication are the methods of managerial decision making in risk and uncertainty. It deals with the theory of games, probability in decision making (Bayes Criterion, Decision trees), decision making in the condit...

BB - Aplikovaná statistika, operační výzkum

  • 2007
  • O
Result

Analytical support of the commander decision-making process

The authors present a set of analytical methods, which can help commanders at all levels objectify the decision-making process. In detail they deal with the theory of games. This theory applies the rationality and logic...

BB - Aplikovaná statistika, operační výzkum

  • 2007
  • D
  • 1 - 10 out of 58 813