Syntactic Approach to Fuzzy Modal Logic in MTL

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Syntactic Approach to Fuzzy Modal Logic in MTL

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/GD401%2F09%2FH007" target="_blank" >GD401/09/H007: Logical foundations of semantics</a><br>

Continuities

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

Publication year

2009

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Doktorandské dny '09

ISBN

978-80-7378-087-6

ISSN

—

e-ISSN

—

Number of pages

9

Pages from-to

—

Publisher name

Ústav informatiky AV ČR, v. v. i.

Place of publication

Praha

Event location

—

Event date

—

Type of event by nationality

—

UT code for WoS article

—