Reduced axioms for the propositional logics induced by basic algebras
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F18%3A73590271" target="_blank" >RIV/61989592:15310/18:73590271 - isvavai.cz</a>
Výsledek na webu
<a href="https://link.springer.com/article/10.1007%2Fs00500-017-2628-1" target="_blank" >https://link.springer.com/article/10.1007%2Fs00500-017-2628-1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00500-017-2628-1" target="_blank" >10.1007/s00500-017-2628-1</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Reduced axioms for the propositional logics induced by basic algebras
Popis výsledku v původním jazyce
A certain logic induced by basic algebras was studied by the first author and, for the particular case of the so-called commutative basic algebras, axiom system was established by Botur and Halaš. The second author the just mentioned axiom system essentially reduced. The aim of this paper is to reduce the original axiom system from and to show that it is the best possible reduction in the sense that the remaining axioms are independent.
Název v anglickém jazyce
Reduced axioms for the propositional logics induced by basic algebras
Popis výsledku anglicky
A certain logic induced by basic algebras was studied by the first author and, for the particular case of the so-called commutative basic algebras, axiom system was established by Botur and Halaš. The second author the just mentioned axiom system essentially reduced. The aim of this paper is to reduce the original axiom system from and to show that it is the best possible reduction in the sense that the remaining axioms are independent.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GF15-34697L" target="_blank" >GF15-34697L: Nové přístupy k reziduovaným posetům</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2018
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ů
Údaje specifické pro druh výsledku
Název periodika
SOFT COMPUTING
ISSN
1432-7643
e-ISSN
—
Svazek periodika
22
Číslo periodika v rámci svazku
4
Stát vydavatele periodika
US - Spojené státy americké
Počet stran výsledku
5
Strana od-do
1203-1207
Kód UT WoS článku
000426566200012
EID výsledku v databázi Scopus
2-s2.0-85018756751