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”
EN
ČeštinaEnglish

Filters

9 318 (0,123s) •

Result

Lukasiewicz logics and logical paradoxes

The description od many-valued Lukasiewicz logic is presented. It is shown its importance for modal logics. We show that some logical paradoxes of classical logic can be solvable in the Lukasiewicz logic....

BA - Obecná matematika

  • 2012
    • •
  • Jx
Result

Logic

Textbook contains chapters of logic and thinking, the importance of logic in teaching education, basic propositional logic, basics of predicate logic, basic logic class, the use of logic in the me...

AA - Filosofie a náboženství

  • 2009
    • •
  • O
Result

Advances in the LPi and LPi1/2 Logics.

The LPi and LPi1/2 logics were introduced by Godo, Esteva and Montagna. These logics extend many other logics, including the Godel, product and Lukasiewicz logic of the axiomatic systems for both logics. T...

BA - Obecná matematika

  • 2003
    • •
  • Jx
Result

The LPi and LPi/2 Propositional and Predicate Logics.

In fuzzy logic three main logics are investigated (Godel,product and Lukasiewicz logic). There are logics LPi and LPi1/2 uniting these three logics. We show an alternative axiomatic system of these log...

BA - Obecná matematika

  • 2001
    • •
  • Jx
Result

Fuzzy Logic.

Mathematical fuzzy logic (or fuzzy logic in the narrow sense) is presented and surveyed as a formal logical system with comparative notion of truth....

BA - Obecná matematika

  • 2002
    • •
  • C
Result

Prague Seminar on Substructural Logics

Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by considerations from philosop...

IN - Informatika

  • 2014
    • •
  • W
    • •
  • Link
Result

Beyond Logical Pluralism and Logical Monism

Logical pluralism as a thesis that more than one logic is correct seems very plausible for two basic reasons. First, there are so many logical systems on the market today. And it is unclear how we should decide which of the...

Philosophy, History and Philosophy of science and technology

  • 2020
    • •
  • Jimp
    • •
  • Link
Result

Prague Workshop on Epistemic Logics

The workshop is focused on alternative approaches to epistemic logics with special attention to systems based on relevant logics and justification logics....

AA - Filosofie a náboženství

  • 2011
    • •
  • W
Result

Non?classical epistemic logics

The workshop was focused on alternative approaches to epistemic logics with special attention to systems based on justification, dynamic and substructural logics....

AA - Filosofie a náboženství

  • 2012
    • •
  • W
Result

What and for What is Logic

is logic and how it is related to general philosophy. I try to show that under such term logic fall many distinct areas of research. For example mathematical logic of language only by its part. On the other hand, philosoph...

AA - Filosofie a náboženství

  • 2001
    • •
  • Jx
  • 1 - 10 out of 9 318