About: From Fuzzy Type Theory to Fuzzy Intensional Logic

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

About: From Fuzzy Type Theory to Fuzzy Intensional 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	In this paper, the concept of fuzzy intensional logic is elaborated based on fuzzy type theory recently presented by the author. In this paper, the concept of fuzzy intensional logic is elaborated based on fuzzy type theory recently presented by the author. (en)
Title	From Fuzzy Type Theory to Fuzzy Intensional Logic From Fuzzy Type Theory to Fuzzy Intensional Logic (en)
skos:prefLabel	From Fuzzy Type Theory to Fuzzy Intensional Logic From Fuzzy Type Theory to Fuzzy Intensional Logic (en)
skos:notation	RIV/61988987:17610/03:00000008!RIV/2004/MSM/176104/N
http://linked.open.../vavai/riv/strany	619-623
http://linked.open...avai/riv/aktivita	Z
http://linked.open...avai/riv/aktivity	Z(MSM 179000002)
http://linked.open...vai/riv/dodaniDat	2004
http://linked.open...aciTvurceVysledku	Novák, Vilém
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
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	Ostravská univerzita v Ostravě / Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
http://linked.open...dnocenehoVysledku	607760
http://linked.open...ai/riv/idVysledku	RIV/61988987:17610/03:00000008
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Fuzzy type theory; intensional logic; algebra of; truth values (en)
http://linked.open.../riv/klicoveSlovo	Fuzzy type theory algebra of intensional logic truth values
http://linked.open...ontrolniKodProRIV	[29E2D9F81C23]
http://linked.open...v/mistoKonaniAkce	Zittau/Goerlitz, Německo
http://linked.open...i/riv/mistoVydani	Zittau/Goerlitz
http://linked.open...i/riv/nazevZdroje	Proc. Third Conf. EUSFLAT 2003
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...ocetUcastnikuAkce	0 (xsd:int)
http://linked.open...nichUcastnikuAkce	0 (xsd:int)
http://linked.open...UplatneniVysledku	2003
http://linked.open...iv/tvurceVysledku	Novák, Vilém
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2003-09-10 (xsd:date)
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20179000002
number of pages	5 (xsd:int)
http://purl.org/ne...btex#hasPublisher	University of Applied Science at Zittau/Goerlitz
https://schema.org/isbn	3-9808089-4-7
http://localhost/t...ganizacniJednotka	17610

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, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software