Search

Search Results

• Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach

  Ivo Pezlar

  473-508

  2017-04-28
• On the interaction of semantics and deduction in Transparent Intensional Logic (Is Tichý's logic a logic?)

  Jiří Raclavský

  57–68

  2013-10-05
• Can concepts be defined in terms of sets?

  Marie Duží, Pavel Materna

  195-242

  2010-09-30
• Is Transparent Intensional Logic a non-classical logic?

  Pavel Materna

  47-55

  2013-09-27
• Science – logic – philosophy. An old problem resuscitated

  Pavel Materna

  107–126

  2012-06-15
• The notion of problem, intuitionism and partiality

  Pavel Materna

  287-303

  2009-03-15