Zur Kurzanzeige

dc.identifier.uri http://dx.doi.org/10.15488/856
dc.identifier.uri http://www.repo.uni-hannover.de/handle/123456789/880
dc.contributor.author Sano, Katsuhiko
dc.contributor.author Virtema, Jonni
dc.date.accessioned 2016-12-16T09:39:05Z
dc.date.available 2016-12-16T09:39:05Z
dc.date.issued 2015
dc.identifier.citation Sano, K.; Virtema, J.: Axiomatizing propositional dependence logics. In: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015), S. 292-307. DOI: https://doi.org/10.4230/LIPIcs.CSL.2015.292
dc.description.abstract We give sound and complete Hilbert-style axiomatizations for propositional dependence logic (PD), modal dependence logic (MDL), and extended modal dependence logic (EMDL) by extending existing axiomatizations for propositional logic and modal logic. In addition, we give novel labeled tableau calculi for PD, MDL, and EMDL. We prove soundness, completeness and termination for each of the labeled calculi. eng
dc.language.iso eng
dc.publisher Wadern : Schloss Dagstuhl- Leibniz-Zentrum für Informatik GmbH
dc.relation.ispartofseries Leibniz International Proceedings in Informatics, LIPIcs 41 (2015)
dc.rights CC BY 4.0 Unported
dc.rights.uri https://creativecommons.org/licenses/by/4.0/
dc.subject Axiomatization eng
dc.subject Modal dependence logic eng
dc.subject Propositional dependence logic eng
dc.subject Tableau calculus eng
dc.subject Biomineralization eng
dc.subject Calculations eng
dc.subject Formal logic eng
dc.subject Pathology eng
dc.subject Reconfigurable hardware eng
dc.subject Axiomatizing eng
dc.subject Dependence logic eng
dc.subject Hilbert eng
dc.subject Modal logic eng
dc.subject Propositional logic eng
dc.subject Sound and complete eng
dc.subject Computer circuits eng
dc.subject.classification Konferenzschrift ger
dc.subject.ddc 500 | Naturwissenschaften ger
dc.subject.ddc 530 | Physik ger
dc.title Axiomatizing propositional dependence logics eng
dc.type Article
dc.type Text
dc.relation.issn 18688969
dc.relation.doi https://doi.org/10.4230/LIPIcs.CSL.2015.292
dc.bibliographicCitation.volume 41
dc.bibliographicCitation.firstPage 292
dc.bibliographicCitation.lastPage 307
dc.description.version publishedVersion
tib.accessRights frei zug�nglich


Thumbnail
Name: Sano & Virtema 2015, ...
Größe: 584.9Kb
Format: PDF
Öffnen

Die Publikation erscheint in Sammlung(en):

Zur Kurzanzeige

 

Suche im Repositorium


Durchblättern

Mein Nutzer/innenkonto

Nutzungsstatistiken