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

33 418 (0,256s) •

Result

Counting finite residuated lattices

We study finite residuated lattices with up to 11 elements. We present an algorithm for generating all non-isomorphic finite residuated lattices with a given number of elements. Furthermore, we an...

BD - Teorie informace

  • 2007
    • •
  • D
Result

Residuated lattices of size .lt.= 12

for computing finite residuated lattices including a fast heuristic test of non-isomorphism.We present the numbers of all non-isomorphic residuated lattices with up to 12 elements and a link to a database...

IN - Informatika

  • 2010
    • •
  • Jx
Result

Finite Embeddability Property for Residuated Lattices via Regular Languages

Let V be a variety of residuated lattices axiomatized by a set of identities in the language {∨,⋅,1} . We characterize when V has the finite embeddability property via regularity of a certain collection of languages. Sever...

Pure mathematics

  • 2022
    • •
  • C
    • •
  • Link
Result

Finite-valued dually residuated lattice-ordered monoids

We study values in dually residuated lattice-ordered monoids (DRl-monoids) especially if the ideal lattice is a member of the class IRN of algebraic distributive lattices whose compact elemets form a relatively nor...

BA - Obecná matematika

  • 2006
    • •
  • Jx
Result

The Finite Embeddability Property for Residuated Groupoids

A very simple proof of the finite embeddability property for residuated distributive-lattice-ordered groupoids and some related classes of structures is presented class of residuated ordered groupoids has the prope...

BA - Obecná matematika

  • 2014
    • •
  • Jx
    • •
  • Link
Result

A representation of residuated lattices satisfying the double negation law

Every residuated lattice can be considered as an idempotent semiring and for the finite case, also the converse holds. Unfortunately, it does not hold in general. We show that if an idempotent semiring is equipped with an i...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2018
    • •
  • Jimp
    • •
  • Link
Result

Minimal Varieties of Representable Commutative Residuated Lattices

lattice of residuated lattices and FL-algebras, we prove that the subvariety lattice of residuated lattices contains continuum many 4-potent commutative representable atoms-algebras. On the other...

BA - Obecná matematika

  • 2012
    • •
  • Jx
    • •
  • Link
Result

On the Structure of Finite Integral Commutative Residuated Chains.

Among the class of finite integral commutative residuated chains (ICRCs), we identify those algebras which can be obtained as a nuclear retraction of a conuclear contraction of a totally ordered Abelian l-group. We call the ICRCs sa...

BA - Obecná matematika

  • 2011
    • •
  • Jx
    • •
  • Link
Result

Kites and residuated lattices

We investigate a construction of an integral residuated lattice starting from an integral residuated lattice and two sets with an injective mapping from one set and we classify them. We show that the variety of int...

Pure mathematics

  • 2018
    • •
  • Jimp
    • •
  • Link
Result

Cayley?s and Holland?s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices

We extend Cayley?s and Holland?s representation theorems to idempotent semirings and residuated lattices, and provide both functional and relational versions proof of the finite embeddability property for the variety of int...

BA - Obecná matematika

  • 2013
    • •
  • Jx
    • •
  • Link
  • 1 - 10 out of 33 418