Counting finite residuated lattices

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F07%3A00003615" target="_blank" >RIV/61989592:15310/07:00003615 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Counting finite residuated lattices

Original language description

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 analyze selected properties of all the lattices generated byour algorithm and present summarizing statistics.

Czech name

Počítání konečných reziduovaných svazů

Czech description

Studujeme konečné reziduované svazy do 11 prvků. Prezentujeme metodu, kterak generovat konečné reziduované svazy až do jistého řádu. Poté, co je máme vygenerované, uvádíme jejich vlastnosti, přehledy počtů algeber používaných ve fuzzy logice a tak dále.

Type

D - Article in proceedings

CEP classification

BD - Information theory

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Lecture Notes in Artificial Intelligence

ISBN

978-3-540-72917-4

ISSN

—

e-ISSN

—

Number of pages

10

Pages from-to

461-470

Publisher name

Springer

Place of publication

Heidelberg

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—