Proof systems for BAT consequence relations

@article{Pawlowski2018ProofSF,
  title={Proof systems for BAT consequence relations},
  author={Pawel Pawlowski},
  journal={Logic Journal of the IGPL},
  year={2018},
  volume={26},
  pages={96-108}
}
View via Publisher
Alternate Sources

Topics from this paper.

Explore Further: Topics Discussed in This Paper