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

40 855 (0,158s)

Result

Gotlob Frege: Logical Investigations. The Foundations of Arithmetic

In the first part, there is a collection of the most important Frege's papers in which there was done a linguistic turn and given foundations of mathematical logic and also analytical philosophy. In the second part, there i...

AA - Filosofie a náboženství

  • 2011
  • B
Result

Logical foundations of mathematics and computational complexity : a gentle introduction

The two main themes of the book, logic and complexity, are connected by both being important for understanding the main problems about the foundations of mathematics. The book covers a broad spectrum of results in logic...

BA - Obecná matematika

  • 2013
  • B
  • Link
Result

Why Fuzzy Logic?

It is generally understood that fuzzy logic deals with vague, imprecise notions and propositions. In spite of several successful applications, the logician may (and should) ask: is this really a logic? Does it have foundations

BA - Obecná matematika

  • 2002
  • C
Result

Mathematical Logic and Regulae ad directionem ingenii

Investigation into the foundational questions of mathematical logic in the light of Descartes's Regulae ad directionem ingenii....

AA - Filosofie a náboženství

  • 2006
  • Jx
Result

From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto

, with the layers of formal fuzzy logic, a foundational theory, and individual mathematical of fuzzy mathematics can be characterized as Henkin-style higher-order fuzzy logicThe paper states the problem of...

BA - Obecná matematika

  • 2006
  • Jx
Result

Handbook of Mathematical Fuzzy Logic - Vol. 1

) in their book-series Mathematical Logic and Foundations (a subseries of Studies in LogicOriginating as an attempt to provide solid logical foundations for fuzzy set and imprecision, Mathemat...

BA - Obecná matematika

  • 2011
  • O
Result

Handbook of Mathematical Fuzzy Logic - Vol. 2

) in their book-series Mathematical Logic and Foundations (a subseries of Studies in LogicOriginating as an attempt to provide solid logical foundations for fuzzy set and imprecision, Mathemat...

BA - Obecná matematika

  • 2011
  • O
Result

Gotlob Frege: Begriffsschrift

Foundations of mathematical logic is the first revolution after Aristotle. Introduction consists of the Czech translation, the second and third part consist of facsimile of original German edition (1879) with translation to...

AA - Filosofie a náboženství

  • 2012
  • B
Result

Poincaré's Critique of formal logic (1894-1906)

In 1894-1906, Henri Poincaré publised his philosophical papers on nature of mathematical reasoning, logic and foundations of mathematics. In this contribution, we evaluate his opinions in comparision to contemporar...

AA - Filosofie a náboženství

  • 2012
  • O
Result

Handbook of Mathematical Fuzzy Logic - Vol. 3

Originating as an attempt to provide solid logical foundations for fuzzy set and imprecision, Mathematical Fuzzy Logic (MFL) has become a significant subfield of mathematical logic. Research in th...

BA - Obecná matematika

  • 2015
  • O
  • 1 - 10 out of 40 855