About: On n-contractive fuzzy logics

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

About: On n-contractive fuzzy logics 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	It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL-chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation defined in [31]. The algebraic counterpart of these logics is studied characterizing the subdirectly irreducible, the semisimple, and the simple algebras. Finally, some important algebraic and logical properties of the considered logics are discussed: local finiteness, finite embeddability property, finite model property, decidability, and standard completeness. It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper understanding of the structure of this class, we consider the extensions of MTL by adding the generalized contraction since each finite MTL-chain satisfies a form of this generalized contraction. Simultaneously, we also consider extensions of MTL by the generalized excluded middle laws introduced in [9] and the axiom of weak cancellation defined in [31]. The algebraic counterpart of these logics is studied characterizing the subdirectly irreducible, the semisimple, and the simple algebras. Finally, some important algebraic and logical properties of the considered logics are discussed: local finiteness, finite embeddability property, finite model property, decidability, and standard completeness. (en)
Title	On n-contractive fuzzy logics On n-contractive fuzzy logics (en)
skos:prefLabel	On n-contractive fuzzy logics On n-contractive fuzzy logics (en)
skos:notation	RIV/68407700:21230/07:00134166!RIV10-MSM-21230___
http://linked.open...avai/riv/aktivita	P V Z
http://linked.open...avai/riv/aktivity	P(1ET100300517), V, Z(AV0Z10300504)
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Horčík, Rostislav Petrík, Milan
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	439261
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/07:00134166
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	MTL-algebras; algebraic logic; fuzzy logics; generalized contraction; generalized excluded middle; left-continuous t-norms; non-classical logics; residuated lattices; standard completeness; sub-structural logics; varieties; weak cancellation (en)
http://linked.open.../riv/klicoveSlovo	algebraic logic standard completeness residuated lattices non-classical logics varieties fuzzy logics MTL-algebras generalized contraction generalized excluded middle sub-structural logics weak cancellation left-continuous t-norms
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[FCA5F9C6EB61]
http://linked.open...i/riv/nazevZdroje	Mathematical Logic Quarterly
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	2 (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
http://linked.open...UplatneniVysledku	2007
http://linked.open...v/svazekPeriodika	53
http://linked.open...iv/tvurceVysledku	Horčík, Rostislav Petrík, Milan
http://linked.open...ain/vavai/riv/wos	000247323000006
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
issn	0942-5616
number of pages	21 (xsd:int)
http://localhost/t...ganizacniJednotka	21230

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