Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem

Kód výsledku v IS VaVaI

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

Nalezeny alternativní kódy

RIV/00216224:14310/15:00085224

Výsledek na webu

<a href="http://link.springer.com/article/10.1007%2Fs00012-015-0329-0" target="_blank" >http://link.springer.com/article/10.1007%2Fs00012-015-0329-0</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s00012-015-0329-0" target="_blank" >10.1007/s00012-015-0329-0</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem

Popis výsledku v původním jazyce

The main aim of this paper is twofold. Firstly, to present a new method based on Farkas' Lemma for the rational numbers, showing how to embed any finite partial subalgebra of a linearly ordered MV-algebra into . and then to establish a new proof of the completeness of the Lukasiewicz axioms based on this method. Secondly, to present a purely algebraic proof of Di Nola's Representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on the rational numbers.

Název v anglickém jazyce

Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem

Popis výsledku anglicky

The main aim of this paper is twofold. Firstly, to present a new method based on Farkas' Lemma for the rational numbers, showing how to embed any finite partial subalgebra of a linearly ordered MV-algebra into . and then to establish a new proof of the completeness of the Lukasiewicz axioms based on this method. Secondly, to present a purely algebraic proof of Di Nola's Representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on the rational numbers.

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

Algebra Universalis

ISSN

0002-5240

e-ISSN

—

Svazek periodika

73

Číslo periodika v rámci svazku

3-4

Stát vydavatele periodika

CH - Švýcarská konfederace

Počet stran výsledku

14

Strana od-do

277-290

Kód UT WoS článku

000355208500005

EID výsledku v databázi Scopus

—