Nezávislá axiomatizace basic algeber

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F08%3A00005672" target="_blank" >RIV/61989592:15310/08:00005672 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Independence of axiom system of basic algebra

Popis výsledku v původním jazyce

We prove that the axiom system of basic algebras (as given in Chajda I., Emanovský P.: Bounded lattices with antitone involutions and properties of MV-algebras, Discuss. Math., Gen. Algebra Appl. 24 (2004), 31-42) is not independent. The axiom (BA3) canbe deleted and the remaining axioms are shown to be independent. The case when the axiom of double negation is deleted is also treated.

Název v anglickém jazyce

Independence of axiom system of basic algebra

Popis výsledku anglicky

We prove that the axiom system of basic algebras (as given in Chajda I., Emanovský P.: Bounded lattices with antitone involutions and properties of MV-algebras, Discuss. Math., Gen. Algebra Appl. 24 (2004), 31-42) is not independent. The axiom (BA3) canbe deleted and the remaining axioms are shown to be independent. The case when the axiom of double negation is deleted is also treated.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

Kód důvěrnosti údajů

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

Název periodika

Soft Computing: a fusion of foundations, methodologies and applications

ISSN

1432-7643

e-ISSN

—

Svazek periodika

14

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

5

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—