About: On Witnessed Models in Fuzzy Logic III

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

About: On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics 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	Gödel (fuzzy) logics with truth sets being countable closed subsets of the unit real interval containing 0 and 1 are studied under their usual semantics and under the witnessed semantics, the latter admitting only models in which the truth value of each universally quantified formula is the minimum of truth values of its instances and dually for existential quantification and maximum. An infinite system of such truth sets is constructed such that under the usual semantics the corresponding logics have pairwise different sets of (standard) tautologies, all these sets being non-arithmetical, whereas under the witnessed semantics all the logics have the same set of tautologies and it is Pi2-complete. Gödel (fuzzy) logics with truth sets being countable closed subsets of the unit real interval containing 0 and 1 are studied under their usual semantics and under the witnessed semantics, the latter admitting only models in which the truth value of each universally quantified formula is the minimum of truth values of its instances and dually for existential quantification and maximum. An infinite system of such truth sets is constructed such that under the usual semantics the corresponding logics have pairwise different sets of (standard) tautologies, all these sets being non-arithmetical, whereas under the witnessed semantics all the logics have the same set of tautologies and it is Pi2-complete. (en)
Title	On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics (en)
skos:prefLabel	On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics (en)
skos:notation	RIV/67985807:_____/10:00342154!RIV11-MSM-67985807
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1M0545), Z(AV0Z10300504)
http://linked.open...iv/cisloPeriodika	2
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Hájek, Petr
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	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	276959
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/10:00342154
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	mathematical fuzzy logic; Gödel logic; witnessed models; arithmetical complexity (en)
http://linked.open.../riv/klicoveSlovo	mathematical fuzzy logic Gödel logic arithmetical complexity witnessed models
http://linked.open...odStatuVydavatele	DE - Spolková republika Německo
http://linked.open...ontrolniKodProRIV	[B4CC0D5134FF]
http://linked.open...i/riv/nazevZdroje	Mathematical Logic Quarterly
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	Institute for Theoretical Computer Science
http://linked.open...UplatneniVysledku	2010
http://linked.open...v/svazekPeriodika	56
http://linked.open...iv/tvurceVysledku	Hájek, Petr
http://linked.open...ain/vavai/riv/wos	000276729000007
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
issn	0942-5616
number of pages	4 (xsd:int)
is http://linked.open...avai/riv/vysledek of	On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics On Witnessed Models in Fuzzy Logic III - Witnessed Gödel Logics

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