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

169 593 (0,169s)

Result

Structural Completeness in Many-Valued Logics with Rational Constants

the lattices of extensions and structural completeness of these three expansions, obtaining is hereditarily structurally complete. RP is algebraized by the variety of rational product, show their decidability, and...

Pure mathematics

  • 2022
  • Jimp
  • Link
Result

Varieties of positive modal algebras and structural completeness

3 non-trivial structurally complete varieties of positive K4-algebras. These are also the unique non-trivial hereditarily structurally complete such varieties. Moreover, we characterize passively structurally<...

Pure mathematics

  • 2019
  • Jimp
  • Link
Result

On Tarski's Type Theorems for L-Fuzzy Isotone and L-Fuzzy Relatively Isotone Maps on L-Complete Propelattices

to be of an awaited analogous structure of a complete propelattice.Recently a new type of very general relational structures, the so called (L-)complete propelattices, was introduced. These significantly generaliz...

BA - Obecná matematika

  • 2016
  • Jx
  • Link
Result

De Groot dualization in directly complete topological structures II

We study an analogue of the de Groot dual for topological structures with opens having the preframe odred.

BA - Obecná matematika

  • 2011
  • D
Result

Structural Completeness in Fuzzy Logics

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics - including Lukasiewicz Logic, Godel Logic, Product Logic, and Hajek's Basic Logic - and their fragments. General methods are defin...

BA - Obecná matematika

  • 2009
  • Jx
Result

Functional completeness of fuzzy structures with wvt-operators

We characterize pocrims with wvt-operators which are functionally complete.

BA - Obecná matematika

  • 2008
  • Jx
Result

The study of reconstruction, refurbishment and completion of the residency Na Hřebenkách

Structural and architectural modification of the existing hotel building. Changing the disposition of all floors, the design of new facades, new compositional and material solutions. Completion part of the building, the design of wr...

Architectural design

  • 2015
  • O
Result

On free completely iterative algebras

as the conservative completion of the free algebra is the free completely iterative algebra. Moreover, the algebra structure of the latter is the unique continuous extension of the algebra structure of the free al...

Pure mathematics

  • 2020
  • D
  • Link
Result

Kleene-isomorphic Sigma-complete MV-algebras with product are isomorphic

We prove that the Kleene structure in a sigma-complete MV-algebra with product is sufficient to recover the MV-structure.

JD - Využití počítačů, robotika a její aplikace

  • 2006
  • Jx
Result

Disjoint unions of incidence structures and complete lattices

Conceptual lattices of disjoint unions of incidence structures are studied in this paper. it is showed that these lattices are disjoint unions of their complete sublattices. An isomorphism between the ordered set of all disjoint uni...

BA - Obecná matematika

  • 1999
  • Jx
  • 1 - 10 out of 169 593