Original title: Weakly Implicative Predicate Fuzzy Logics
Translated title: Slabě implikační predikátové fuzzy logiky
Authors: Cintula, Petr
Document type: Papers
Conference/Event: The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing, Ostrava (CZ), 2005-10-05 / 2005-10-07
Year: 2005
Language: eng
Abstract: [eng] [cze]
There are two classes of propositional logics related to the area of mathematical fuzzy logics proposed in work of the author (see also joint paper by the author and Libor Běhounek where philosophical, methodological, and pragmatical reasons for introducing these two classes appear.) After we recall same basic definitions we turn our attention to the first-order variants of these two classes of logics. The results presented here are mainly from the author's thesis and his upcoming paper. Because of the lack of space we present the basic definitions and theorems only and we completely disregard the important concept of Baaz delta. Autor tohoto článku navrhl dvě třídy výrokových logik jež se vztahují k matematické fuzzy logice (viz. také jeho společný članek s L. Běhounkem o filosofických, metodologických a pragmatických důvodech pro zavedení těchto tříd). Po připomenutí základních definic se budeme zabývat prvo-řádovými variantami logik z těchto dvou tříd. Zde prezentované výsledky jsou obsaženy v autorovi doktorské disertaci a jeho připravovaném článku. Z duvodu prostorového omezení zde prezentujeme jen základní definice a věty (např. úplně vynecháme duležitou problematiku tzv. Baazova delta).
Keywords: fuzzy logic; predicate logic; weakly implicative logic
Project no.: IAA100300503 (CEP), CEZ:AV0Z10300504 (CEP)
Funding provider: GA AV ČR
Host item entry: Proceedings

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the particular institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0125724

Permalink: http://www.nusl.cz/ntk/nusl-34188


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers