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

268 (0,152s) •

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

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

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
Result

Extensions of posets with an antitone involution to residuated structures

We show that every poset P with an antitone involution can be extended to a commutative integral residuated poset E(P). If, moreover, P is a lattice then so is E(P)....

Pure mathematics

  • 2021
    • •
  • Jimp
    • •
  • Link
Result

Uniquely Complemented Posets

We study complementation in bounded posets. It is known and easy to see that every complemented distributive poset is uniquely complemented. The converse that force a uniquely complemented poset to be distributive. For atom...

Pure mathematics

  • 2018
    • •
  • Jimp
    • •
  • Link
Result

Weakly orthomodular and dually weakly orthomodular posets

Orthomodular posets form an algebraic semantic for the logic of quantum mechanics. We show several methods how to construct orthomodular posets via to the concept of weakly orthomodular and dually weakly orthomodular posets...

Pure mathematics

  • 2018
    • •
  • JSC
    • •
  • Link
Result

Characterizations of posets via weak states

Weak states on posets are defined which are in some analogy to stateson orthomodular posets used in axiomatic quantum mechanics. I tis shown how certain properties of the set of weak states characterize certain properties of the und...

BA - Obecná matematika

  • 2008
    • •
  • Jx
  • 1 - 10 out of 268