About: Product Lukasiewicz Logic

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

About: Product Lukasiewicz 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	Není k dispozici (cs) Among all many-valued logics the Lu logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lu logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. At the end of the paper, the predicate version of PL logic is introduced and developed. Among all many-valued logics the Lu logic plays a fundamental role. However expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Lu logic by adding a new connective which expresses multiplication. The resulting logic PL is defined and developed. We also deal with several extensions of this logic. At the end of the paper, the predicate version of PL logic is introduced and developed. (en)
Title	Product Lukasiewicz Logic Není k dispozici (cs) Product Lukasiewicz Logic (en)
skos:prefLabel	Product Lukasiewicz Logic Není k dispozici (cs) Product Lukasiewicz Logic (en)
skos:notation	RIV/68407700:21230/04:03103412!RIV/2005/GA0/212305/N
http://linked.open.../vavai/riv/strany	477 ; 503
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA201/02/1540), P(IAA1030004), Z(AV0Z1030915)
http://linked.open...iv/cisloPeriodika	4
http://linked.open...vai/riv/dodaniDat	2005
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	582430
http://linked.open...ai/riv/idVysledku	RIV/68407700:21230/04:03103412
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Lukasiewicz logic; MV-algebras; product MV-algebras (en)
http://linked.open.../riv/klicoveSlovo	MV-algebras product MV-algebras Lukasiewicz logic
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[E3FB43CE10B1]
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	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Many-valued logics for soft computing Mathematical foundations of inference under vagueness and uncertainty
http://linked.open...UplatneniVysledku	2004
http://linked.open...v/svazekPeriodika	43
http://linked.open...iv/tvurceVysledku	Horčík, Rostislav Cintula, P.
http://linked.open...n/vavai/riv/zamer	Nové informatické technologie - teoretické základy, metodologie, prostředky a aplikace
issn	0933-5846
number of pages	27 (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