The propositional logic induced by means of basic algebras

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F15%3A33155644" target="_blank" >RIV/61989592:15310/15:33155644 - isvavai.cz</a>

Výsledek na webu

<a href="http://link.springer.com/article/10.1007%2Fs10773-014-2500-3" target="_blank" >http://link.springer.com/article/10.1007%2Fs10773-014-2500-3</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10773-014-2500-3" target="_blank" >10.1007/s10773-014-2500-3</a>

Jazyk výsledku

angličtina

Název v původním jazyce

The propositional logic induced by means of basic algebras

Popis výsledku v původním jazyce

A propositional logic induced by means of commutative basic algebras was already described by M. Botur and R. Hala. It turns out that this is a kind of non-associative fuzzy logic which can be used e.g. in expert systems. Unfortunately, there are other important classes of basic algebras which are not commutative, e.g. orthomodular lattices which are used as an axiomatization of the logic of quantum mechanics. This motivated us to develop another axioms and derivation rules which form a propositional logic induced by basic algebras in general. We show that this logic is algebraizable in the sense of W. J. Blok and D. Pigozzi.

Název v anglickém jazyce

The propositional logic induced by means of basic algebras

Popis výsledku anglicky

A propositional logic induced by means of commutative basic algebras was already described by M. Botur and R. Hala. It turns out that this is a kind of non-associative fuzzy logic which can be used e.g. in expert systems. Unfortunately, there are other important classes of basic algebras which are not commutative, e.g. orthomodular lattices which are used as an axiomatization of the logic of quantum mechanics. This motivated us to develop another axioms and derivation rules which form a propositional logic induced by basic algebras in general. We show that this logic is algebraizable in the sense of W. J. Blok and D. Pigozzi.

Druh

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

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/EE2.3.20.0051" target="_blank" >EE2.3.20.0051: Algebraické metody v kvantové logice</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2015

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

International Journal of Theoretical Physics

ISSN

0020-7748

e-ISSN

—

Svazek periodika

54

Číslo periodika v rámci svazku

12

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

7

Strana od-do

4306-4312

Kód UT WoS článku

000364224200012

EID výsledku v databázi Scopus

—