Infinitesimals and Pavelka logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F15%3A00235494" target="_blank" >RIV/68407700:21230/15:00235494 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Infinitesimals and Pavelka logic

Popis výsledku v původním jazyce

Rational Pavelka Logic does not admit infinitesimals. We argue that infinitesimals are important in logic and we present an alternative approach which admits them. It is built up in a similar style, but based on the Chang's perfect MV-algebra. We prove apartial result towards the completeness of this logic. We also discuss a combined approach using more complex perfect MV-algebras.

Název v anglickém jazyce

Infinitesimals and Pavelka logic

Popis výsledku anglicky

Rational Pavelka Logic does not admit infinitesimals. We argue that infinitesimals are important in logic and we present an alternative approach which admits them. It is built up in a similar style, but based on the Chang's perfect MV-algebra. We prove apartial result towards the completeness of this logic. We also discuss a combined approach using more complex perfect MV-algebras.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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 statě ve sborníku

International Joint Conference IFSA - EUSFLAT 2015

ISBN

978-94-6252-077-6

ISSN

1951-6851

e-ISSN

—

Počet stran výsledku

7

Strana od-do

1027-1033

Název nakladatele

European Centre for Soft Computing

Místo vydání

Asturias

Místo konání akce

Gijón

Datum konání akce

30. 6. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000358581100145