On Natural Deduction in Dependence Logic

DOI10.1515/9781614516873.297zbMath1429.03119OpenAlexW2401933391MaRDI QIDQ5213573

Juha Kontinen

Publication date: 3 February 2020

Published in: Logic Without Borders (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/9781614516873.297

zbMATH Keywords

axiomatizationdependence logicteam

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (4)

COMPLETE LOGICS FOR ELEMENTARY TEAM PROPERTIES ⋮ Axiomatizing first order consequences in inclusion logic ⋮ Negation and partial axiomatizations of dependence and independence logic revisited ⋮ Dependence and Independence in Social Choice: Arrow’s Theorem

This page was built for publication: On Natural Deduction in Dependence Logic