Syntactic Approach to Fuzzy Modal Logic in MTL

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F09%3A00200993" target="_blank" >RIV/00216208:11210/09:00200993 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Syntactic Approach to Fuzzy Modal Logic in MTL
Popis výsledku v původním jazyce
We study provability in Hilbert-style calculi obtained by adding standard modal logic axioms to Monoidal T-norm based Logic (MTL) by automated theorem proving methods. The aim of this paper is to present some basic properties of systems K, D, T, S4 and S5 over MTL. These system are defined in the same way as are in classical propositional logic. It is shown that many classically valid formulae become unprovable.
Název v anglickém jazyce
Syntactic Approach to Fuzzy Modal Logic in MTL
Popis výsledku anglicky
We study provability in Hilbert-style calculi obtained by adding standard modal logic axioms to Monoidal T-norm based Logic (MTL) by automated theorem proving methods. The aim of this paper is to present some basic properties of systems K, D, T, S4 and S5 over MTL. These system are defined in the same way as are in classical propositional logic. It is shown that many classically valid formulae become unprovable.

Projekt
<a href="/cs/project/GD401%2F09%2FH007" target="_blank" >GD401/09/H007: Logické základy sémantiky</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2009
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ů

Podobné výsledky(10)