Axiomatizing Propositional Dependence Logics

Axiomatizing Propositional Dependence Logics

TitleAxiomatizing Propositional Dependence Logics
Publication TypeConference Paper
Year of Publication2015
AuthorsSano K, Virtema J
Conference Name{CSL}
PublisherSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik
URLhttps://arxiv.org/abs/1410.5038
Undefined