From Classical to Fuzzy Type Theory

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F14%3AA1501BYB" target="_blank" >RIV/61988987:17610/14:A1501BYB - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

From Classical to Fuzzy Type Theory

Popis výsledku v původním jazyce

This paper addresses several complete formal systems of the fuzzy type theory. The systems differ from each other by a chosen algebra of truth values. Namely, we focus on three systems: the Core FTT based on a special algebra of truth values for fuzzy type theory --- the EQ-algebra, then IMTL-FTT based on imtD-algebra of truth values and finally the LFTT based on MV$_{Delta}$-algebra of truth values.

Název v anglickém jazyce

From Classical to Fuzzy Type Theory

Popis výsledku anglicky

This paper addresses several complete formal systems of the fuzzy type theory. The systems differ from each other by a chosen algebra of truth values. Namely, we focus on three systems: the Core FTT based on a special algebra of truth values for fuzzy type theory --- the EQ-algebra, then IMTL-FTT based on imtD-algebra of truth values and finally the LFTT based on MV$_{Delta}$-algebra of truth values.

Druh

C - Kapitola v odborné knize

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: Centrum excelence IT4Innovations</a><br>

Návaznosti

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

Rok uplatnění

2014

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 knihy nebo sborníku

The Life and Work of Leon Henkin

ISBN

978-3-319-09719-0

Počet stran výsledku

24

Strana od-do

225-248

Počet stran knihy

351

Název nakladatele

Birkhauser

Místo vydání

Basel

Kód UT WoS kapitoly

—