About: Elements of Model Theory in Higher Order Fuzzy Logic

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

About: Elements of Model Theory in Higher Order Fuzzy 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, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interesting specificities. We will introduce few basic concepts related to homomorphism, isomorphism, submodel, etc. and show some properties of them. In this paper, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interesting specificities. We will introduce few basic concepts related to homomorphism, isomorphism, submodel, etc. and show some properties of them. (en)
Title	Elements of Model Theory in Higher Order Fuzzy Logic Elements of Model Theory in Higher Order Fuzzy Logic (en)
skos:prefLabel	Elements of Model Theory in Higher Order Fuzzy Logic Elements of Model Theory in Higher Order Fuzzy Logic (en)
skos:notation	RIV/61988987:17610/12:A130133G!RIV13-AV0-17610___
http://linked.open...avai/predkladatel	Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
http://linked.open...avai/riv/aktivita	P S
http://linked.open...avai/riv/aktivity	P(IAA108270901), S
http://linked.open...iv/cisloPeriodika	16 October
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Novák, Vilém
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	Ostravská univerzita v Ostravě / Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
http://linked.open...dnocenehoVysledku	134091
http://linked.open...ai/riv/idVysledku	RIV/61988987:17610/12:A130133G
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	fuzzy type theory; model theory; EQ-algebra (en)
http://linked.open.../riv/klicoveSlovo	EQ-algebra fuzzy type theory model theory
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[F59DB242ADC5]
http://linked.open...i/riv/nazevZdroje	FUZZY SET SYST
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	Cardinality of Fuzzy Sets and Fuzzy Quantifiers
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	205
http://linked.open...iv/tvurceVysledku	Novák, Vilém
issn	0165-0114
number of pages	15 (xsd:int)
http://localhost/t...ganizacniJednotka	17610
is http://linked.open...avai/riv/vysledek of	Elements of Model Theory in Higher Order Fuzzy Logic

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