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

5 792 (0,124s)

Result

Dual Poset Explorer

Dual Poset Explorer generates the first three iterated duals of the given poset and displays their Hasse diagrams together with the diagram of the original poset....

BA - Obecná matematika

  • 2012
  • R
  • Link
Result

A note on directly complete analogue of the deGroot dual for general posets

In this paper we describe and study a certain anlaogue of De Groot dual for a general poset, based on the order stucture of the set of morphisms....

BA - Obecná matematika

  • 2013
  • D
Result

On n-normal posets

A poset is called n-normal if every its prime ideal contains at most n minimal prime ideals. In the paper some properties and characterizations of n-normal posets are obtained....

BA - Obecná matematika

  • 2010
  • Jx
Result

The Quest For de Groot-like Dual of Pretopological Systems With Mathematica as of a Tool of Visualization

In this paper we study the preframe structure representing the opens of a possible pretopological system and its behavior with respect to the certain de Groot-like dualization construction. We also present a Mathematica 7 compatible package which dem...

BA - Obecná matematika

  • 2011
  • D
Result

Counting general and self-dual interval orders

We present a new method to derive formulas for the generating functions of interval orders, counted with respect to their size, magnitude, and number of minimal and maximal elements. Our method allows us not only to generalize previous results on ref...

BA - Obecná matematika

  • 2012
  • Jx
  • Link
Result

Nuclei and conuclei on Girard posets

axiomatized by means of a residuated poset. Based on a notion of dualizing (cyclic) element we introduce the notion of a Frobenius (Girard) poset. With this paper we hope to contribute to the theory of Frobenius posets and...

Pure mathematics

  • 2019
  • D
  • Link
Result

Algebras describing pseudocomplemented, relatively pseudocomplemented and sectionally pseudocomplemented posets

posets, we assigned to every pseudocomplemented poset, to every relatively pseudocomplemented poset and to every sectionally pseudocomplemented poset, a certain algebra characterize the given corresponding pos...

Applied mathematics

  • 2021
  • Jimp
  • Link
Result

Residuation in modular lattices and posets

We show that every complemented modular lattice can be converted into a left residuated lattice. We show that every strongly modular poset with complementation and every strictly modular poset with complementation can be converted i...

Pure mathematics

  • 2019
  • JSC
  • Link
Result

Residuated operators in complemented posets

Using the operators of taking upper and lower cones in a poset with a unary modification of residuation can be introduced. A relatively pseudocomplemented poset can be considered as a prototype of such an operator residuated pos...

Pure mathematics

  • 2018
  • JSC
  • Link
Result

The logic of orthomodular posets of finite height

Orthomodular posets form an algebraic formalization of the logic of quantum a positive answer whenever the orthomodular poset in question if of finite height implication orthomodular poset, i.e. a poset equipped wi...

Pure mathematics

  • 2022
  • Jimp
  • Link
  • 1 - 10 out of 5 792