About: Disjunction Property and Complexity of Substructural Logics

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

About: Disjunction Property and Complexity of Substructural 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	We systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained by using algebraic techniques. PSPACE-completeness for many of these logics is furthermore established by proof theoretic arguments. We systematically identify a large class of substructural logics that satisfy the disjunction property (DP), and show that every consistent substructural logic with the DP is PSPACE-hard. Our results are obtained by using algebraic techniques. PSPACE-completeness for many of these logics is furthermore established by proof theoretic arguments. (en)
Title	Disjunction Property and Complexity of Substructural Logics Disjunction Property and Complexity of Substructural Logics (en)
skos:prefLabel	Disjunction Property and Complexity of Substructural Logics Disjunction Property and Complexity of Substructural Logics (en)
skos:notation	RIV/67985807:_____/11:00368496!RIV12-AV0-67985807
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GAP202/10/1826), P(ME09110), Z(AV0Z10300504)
http://linked.open...iv/cisloPeriodika	31
http://linked.open...vai/riv/dodaniDat	2012
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	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	194829
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/11:00368496
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	substructural logics; disjunction property; computational complexity (en)
http://linked.open.../riv/klicoveSlovo	computational complexity disjunction property substructural logics
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[FC309F84E332]
http://linked.open...i/riv/nazevZdroje	Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Matematická fuzzy logika v informatice Fuzzy set theory as a foundation of fuzzy mathematics
http://linked.open...UplatneniVysledku	2011
http://linked.open...v/svazekPeriodika	412
http://linked.open...iv/tvurceVysledku	Horčík, Rostislav Terui, K.
http://linked.open...ain/vavai/riv/wos	000292353400002
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
issn	0304-3975
number of pages	15 (xsd:int)
http://bibframe.org/vocab/doi	10.1016/j.tcs.2011.04.004

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