About: Sufficient Triangular Norms in Many-valued Logics with Standard Negation

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

About: Sufficient Triangular Norms in Many-valued Logics with Standard Negation 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	Není k dispozici (cs) In many-valued logics with the unit interval as the set of truth values, from the standard negation and the product (or, more generally, from any strict Frank t-norm) all measurable logical functions can be derived, provided that also operations with countable arity are allowed. The question remained open whether there are other t-norms with this property or whether all strict t-norms possess this property. We give a full solution to this problem (in the case of strict t-norms), together with convenient sufficient conditions. We list several families of strict t-norms having this property and provide also counterexamples (the Hamacher product is one of them). Finally, we discuss the consequences of these results for the characterization of tribes based on strict t-norms. In many-valued logics with the unit interval as the set of truth values, from the standard negation and the product (or, more generally, from any strict Frank t-norm) all measurable logical functions can be derived, provided that also operations with countable arity are allowed. The question remained open whether there are other t-norms with this property or whether all strict t-norms possess this property. We give a full solution to this problem (in the case of strict t-norms), together with convenient sufficient conditions. We list several families of strict t-norms having this property and provide also counterexamples (the Hamacher product is one of them). Finally, we discuss the consequences of these results for the characterization of tribes based on strict t-norms. (en)
Title	Sufficient Triangular Norms in Many-valued Logics with Standard Negation Není k dispozici (cs) Sufficient Triangular Norms in Many-valued Logics with Standard Negation (en)
skos:prefLabel	Sufficient Triangular Norms in Many-valued Logics with Standard Negation Není k dispozici (cs) Sufficient Triangular Norms in Many-valued Logics with Standard Negation (en)
skos:notation	RIV/68407700:21230/05:03114005!RIV06-GA0-21230___
http://linked.open.../vavai/riv/strany	829 ; 849
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/02/1540), P(GA402/04/1026), Z(AV0Z10750506)
http://linked.open...iv/cisloPeriodika	7
http://linked.open...vai/riv/dodaniDat	2006
http://linked.open...aciTvurceVysledku	Navara, Mirko
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	545389
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/05:03114005
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	admissible function; involutive negation; many-valued logic; sufficient t-norm; t-norm-based tribe (en)
http://linked.open.../riv/klicoveSlovo	many-valued logic involutive negation admissible function sufficient t-norm t-norm-based tribe
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[365A97AE297A]
http://linked.open...i/riv/nazevZdroje	Archive for Mathematical Logic
http://linked.open...in/vavai/riv/obor	JD
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Aggregation principles in economic-mathematical models Many-valued logics for soft computing
http://linked.open...UplatneniVysledku	2005
http://linked.open...v/svazekPeriodika	44
http://linked.open...iv/tvurceVysledku	Navara, Mirko Klement, E. Mesiar, R. Butnariu, D.
http://linked.open...n/vavai/riv/zamer	Pokročilé matematické metody získávání, zpracování a využití informací a znalostí ve složitých a nedeterministických systémech
issn	0933-5846
number of pages	21 (xsd:int)
http://localhost/t...ganizacniJednotka	21230
is http://linked.open...avai/riv/vysledek of	Sufficient Triangular Norms in Many-valued Logics with Standard Negation

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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