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

949 (0,176s) •

Project

New perspectives on residuated posets (GF15-34697L)

The project is focused on the study of residuated lattices and, more generally, residuated posets, which are important algebraic structures in various mathematical of residuated posets – to enlarge the class of

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 8 066 tis. Kč
    • •
  • 8 066 tis. Kč
    • •
  • GA ČR
Project

Partially ordered algebraic systems and algebras (7AMB13AT005)

Besides obtaining new results, the goal of the project is to deepen and strengthen the cooperation between the two institutes. The main output of the project will be papers published in international mathematical journals or in conference proceedings...

BA - Obecná matematika

  • 2013 - 2014
    • •
  • 128 tis. Kč
    • •
  • 128 tis. Kč
    • •
  • MŠMT
Project

Non-associative residuated structures (GPP201/11/P346)

The goal of the project is to generalize associative residuated structures that are necessary to study these structures. We mainly focus on congruence lattices will deal with residuated algebras that are generated by their ...

BA - Obecná matematika

  • 2011 - 2013
    • •
  • 564 tis. Kč
    • •
  • 564 tis. Kč
    • •
  • GA ČR
Project

Applications of algebraic methods in non-classical logics (MEB061105)

In the proposed project we expect the development of residuated structures, not necessarily lattices, in connection with effect algebras, capturing of time dimension in the quantum logics via tense operators (quantifiers) and applic...

BA - Obecná matematika

  • 2011 - 2012
    • •
  • 78 tis. Kč
    • •
  • 78 tis. Kč
    • •
  • MŠMT
Project

Algebraic, many-valued and quantum structures for uncertainty modelling (GA15-15286S)

The project is focused on the research in pure mathematics (ordered structures, algebra, measure theory, model theory) with interface to quantum mechanics, logic, and philosophy. The main goal is modelling of uncertainty using modern methods of many-...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 5 849 tis. Kč
    • •
  • 5 849 tis. Kč
    • •
  • GA ČR
Project

Residual stresses in surface layers induced by cutting of materials (GA101/96/1181)

The subject of the applied project is residual stress measurement in surface layers of polycrystalline materials (carbon steels, alloyed steels, some types of residual stress state (analysis of the stress, its mean value and inhomog...

JP - Průmyslové procesy a zpracování

  • 1996 - 1998
    • •
  • 866 tis. Kč
    • •
  • 616 tis. Kč
    • •
  • GA ČR
Project

Totally ordered monoids (GJ15-07724Y)

The subject of the project is an investigation of the variety of lattice-ordered monoids with a special focus on the subclass of totally ordered ones. As the known methods investigate this problem seem to become exhausted, the project inten...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 2 999 tis. Kč
    • •
  • 2 999 tis. Kč
    • •
  • GA ČR
Project

Algebraic Methods in Proof Theory (GAP202/11/1632)

It is a recent trend in proof theory in non-classical logic to employ more algebraic methods and to develop the so-called algebraic proof theory. A typical example of a result in this direction is proving cut elimination in the same way that closedne...

IN - Informatika

  • 2011 - 2015
    • •
  • 5 771 tis. Kč
    • •
  • 5 771 tis. Kč
    • •
  • GA ČR
Project

Ordered structures for non-classical logics (7AMB17AT054)

kinds of residuated structures (such as lattices, residuated l-groupoids, pocrims algebras and their generalizations and how they can be organized into residuated......

BA - Obecná matematika

  • 2017 - 2018
    • •
  • 153 tis. Kč
    • •
  • 153 tis. Kč
    • •
  • MŠMT
Project

Representations of algebraic distributive lattices (GP201/03/P149)

The main aim of the project is to contribute to the proof or disproof of the hypothesis of R. P. Dilworth that every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. Especially, the new m...

BA - Obecná matematika

  • 2003 - 2005
    • •
  • 338 tis. Kč
    • •
  • 338 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 949