Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

1 807 (0,195s)

Výsledek výzkumu

Direktoidy se sekčně antitonními involucemi a skew MV-algebry.

Je známo, že každá MV-algebra je distributívní svaz. Nahradíme-li tento svaz direktoidem, získáme slabší strukturu, tzv. skew MV-algebru. Práce je věnována axiomatizaci skew MV-algeber, jejich vlastnostem a popisu indukovan...

BA - Obecná matematika

  • 2007
  • Jx
Výsledek výzkumu

Komutativní direktoidy se sekčními involucemi.

Komutativní direktoidy byly zavedeny J. Ježkem a R. Quackenbushem v r. 1990. Je-li taková algebry doplněna involucemi na každé sekci, lze ji přepsat do jiné implikační algebry. Jsou studovány dodatečné podmínkytak, aby direktoid byl...

BA - Obecná matematika

  • 2007
  • Jx
Výsledek výzkumu

Generalized EMV-Effect Algebras

Applied mathematics

  • 2018
  • Jimp
  • Odkaz
Výsledek výzkumu

Lie algebras with given properties of subalgebras and elements

BA - Obecná matematika

  • 2014
  • C
Výsledek výzkumu

On epicomplete MV -algebras

Pure mathematics

  • 2018
  • Jimp
Výsledek výzkumu

Monadické GMV-algebry

GMV-algebry jsou nekomutativními zobecněními MV-algeber a jsou algebraickým protějškem nekomutativní Lukasiewiczovy logiky. Zavádíme monadické GMV-algebry a popisujeme jejich vztahy k jistým dvojicím GMV-algeber a ...

BA - Obecná matematika

  • 2008
  • Jx
Výsledek výzkumu

Kdy je BCC-algebra ekvivalentní s MV-algebrou?

Jsou charakterizovány BCC-algebry termově ekvivalentní s MV-algebrami. Dále jsou popsána kongruenční jádra jako deduktivní systémy, což umožňuje ukázat, že subdirektně ireducibilní algebry jsou lineárně uspořádané....

BA - Obecná matematika

  • 2007
  • Jx
Výsledek výzkumu

Symetrické algebry závorek

Rozvineme symetrickou analogii algebry závorek a budeme diskutovat vztah takových algeber k L.nekonečno.-algebrám...

BA - Obecná matematika

  • 2005
  • Jx
Výsledek výzkumu

State operators on GMV-algebras

BA - Obecná matematika

  • 2011
  • Jx
  • Odkaz
Výsledek výzkumu

On double basic algebras and pseudo-effect algebras

BA - Obecná matematika

  • 2011
  • Jx
  • Odkaz
  • 1 - 10 z 1 807