Fuzzy Logics Interpreted as Logics of Resources

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F08%3A00328135" target="_blank" >RIV/67985807:_____/08:00328135 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Fuzzy Logics Interpreted as Logics of Resources

Popis výsledku v původním jazyce

Girard's linear logic is often interpreted as the logic of resources, while formal fuzzy logics are usually understood as logics of partial truth. The paper argues that deductive fuzzy logics can be interpreted in terms of resources as well, and that under most circumstances they actually capture resource-aware reasoning more accurately than linear logic. The resource-based interpretation then provides an alternative motivation for formal fuzzy logics, and gives an explanation of the meaning of their intermediary truth values that can be justified more easily than their traditional motivation based on partial truth.

Název v anglickém jazyce

Fuzzy Logics Interpreted as Logics of Resources

Popis výsledku anglicky

Girard's linear logic is often interpreted as the logic of resources, while formal fuzzy logics are usually understood as logics of partial truth. The paper argues that deductive fuzzy logics can be interpreted in terms of resources as well, and that under most circumstances they actually capture resource-aware reasoning more accurately than linear logic. The resource-based interpretation then provides an alternative motivation for formal fuzzy logics, and gives an explanation of the meaning of their intermediary truth values that can be justified more easily than their traditional motivation based on partial truth.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/IAA900090703" target="_blank" >IAA900090703: Dynamické formální systémy</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

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

The Logica Yearbook 2008

ISBN

978-1-904987-46-8

ISSN

—

e-ISSN

—

Počet stran výsledku

15

Strana od-do

—

Název nakladatele

College Publications

Místo vydání

London

Místo konání akce

Hejnice

Datum konání akce

16. 6. 2008

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

EUR - Evropská akce

Kód UT WoS článku

—