Sequents for dependence logics

L Fariñas del Cerro, V Lugardon

Abstract


In this note we introduce several sequent calculi for propositional dependence logics in which a set of topics is attached to each formula. Some
connections between these logics and classical logic are established.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.