About: Formal Systems of Fuzzy Logic and their Fragments

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Formal Systems of Fuzzy Logic and their Fragments Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Formal systems of fuzzy logic (including the well-known Lukasiewicz and Godel-Dummett infinite-valued logics) are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The Study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. Formal systems of fuzzy logic (including the well-known Lukasiewicz and Godel-Dummett infinite-valued logics) are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The Study of fragments of logical systems is an important issue of research in any class of non-classical logics. Here we study the fragments of nine prominent fuzzy logics to all sublanguages containing implication. However, the results achieved in the paper for those nine logics are usually corollaries of theorems with much wider scope of applicability. In particular, we show how many of these fragments are really distinct and we find axiomatic systems for most of them. In fact, we construct strongly separable axiomatic systems for eight of our nine logics. We also fully answer the question for which of the studied fragments the corresponding class of algebras forms a variety. (en)
Title	Formal Systems of Fuzzy Logic and their Fragments Formal Systems of Fuzzy Logic and their Fragments (en)
skos:prefLabel	Formal Systems of Fuzzy Logic and their Fragments Formal Systems of Fuzzy Logic and their Fragments (en)
skos:notation	RIV/68407700:21230/07:00134816!RIV10-MSM-21230___
http://linked.open...avai/riv/aktivita	P V Z
http://linked.open...avai/riv/aktivity	P(1ET100300517), P(1M0545), V, Z(AV0Z10300504)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Horčík, Rostislav
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	České vysoké učení technické v Praze / Fakulta elektrotechnická
http://linked.open...dnocenehoVysledku	422355
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/07:00134816
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	mathematical fuzzy logic; BCK-algebras; BCK; FBCK; monoidal t-norm based logic (en)
http://linked.open.../riv/klicoveSlovo	mathematical fuzzy logic BCK-algebras monoidal t-norm based logic BCK FBCK
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[8DAAEE36A9E1]
http://linked.open...i/riv/nazevZdroje	ANNALS OF PURE AND APPLIED LOGIC
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Methods for Intelligent Systems and Their Applications in Datamining and Natural Language Processing Institute for Theoretical Computer Science
http://linked.open...UplatneniVysledku	2007
http://linked.open...v/svazekPeriodika	150
http://linked.open...iv/tvurceVysledku	Horčík, Rostislav
http://linked.open...ain/vavai/riv/wos	000251813400003
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
issn	0168-0072
number of pages	26 (xsd:int)
http://localhost/t...ganizacniJednotka	21230
is http://linked.open...avai/riv/vysledek of	Formal Systems of Fuzzy Logic and their Fragments Formal Systems of Fuzzy Logic and their Fragments Formal Systems of Fuzzy Logic and their Fragments

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software