About: Decidability of Cancellative Extension of Monoidal t-norm Based Logic

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

About: Decidability of Cancellative Extension of Monoidal t-norm Based Logic 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 known that the inonoidal t-norm based logic (MTL) and many of its schematic extensions' are decidable. The usual way how to prove decidability of some schematic extension of MTL is to show that the corresponding class of algebras of truth values has the finite model property (FIMP) or the finite embeddability property (FEP). However this method does not work for the extensions whose corresponding classes of algebras have only trivial finite members. Typical examples of such extensions are the product logic and the cancellative extension of MTL (Gamma IMTL) because the only finite algebras belonging to the corresponding varieties are finite Boolean algebras. The product, logic is known to be decidable because of its connection with ordered Abelian groups. However the decidability of Gamma IMTL was not known. This paper solves this problem. It is known that the inonoidal t-norm based logic (MTL) and many of its schematic extensions' are decidable. The usual way how to prove decidability of some schematic extension of MTL is to show that the corresponding class of algebras of truth values has the finite model property (FIMP) or the finite embeddability property (FEP). However this method does not work for the extensions whose corresponding classes of algebras have only trivial finite members. Typical examples of such extensions are the product logic and the cancellative extension of MTL (Gamma IMTL) because the only finite algebras belonging to the corresponding varieties are finite Boolean algebras. The product, logic is known to be decidable because of its connection with ordered Abelian groups. However the decidability of Gamma IMTL was not known. This paper solves this problem. (en)
Title	Decidability of Cancellative Extension of Monoidal t-norm Based Logic Decidability of Cancellative Extension of Monoidal t-norm Based Logic (en)
skos:prefLabel	Decidability of Cancellative Extension of Monoidal t-norm Based Logic Decidability of Cancellative Extension of Monoidal t-norm Based Logic (en)
skos:notation	RIV/68407700:21230/06:00134169!RIV10-MSM-21230___
http://linked.open...avai/riv/aktivita	P V Z
http://linked.open...avai/riv/aktivity	P(IAA100300503), V, Z(AV0Z10300504)
http://linked.open...iv/cisloPeriodika	6
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	470554
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/06:00134169
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	COMPLEXITY (en)
http://linked.open.../riv/klicoveSlovo	COMPLEXITY
http://linked.open...odStatuVydavatele	GB - Spojené království Velké Británie a Severního Irska
http://linked.open...ontrolniKodProRIV	[9B843E40209E]
http://linked.open...i/riv/nazevZdroje	LOGIC JOURNAL OF THE IGPL
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Mathematical foundation of inference and decision under uncertainty
http://linked.open...UplatneniVysledku	2006
http://linked.open...v/svazekPeriodika	14
http://linked.open...iv/tvurceVysledku	Horčík, Rostislav
http://linked.open...ain/vavai/riv/wos	000243732000001
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
issn	1367-0751
number of pages	17 (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