Proof systems for BAT consequence relations

TitleProof systems for BAT consequence relations
Publication TypeJournal Article
Year of PublicationIn Press
AuthorsPawlowski, P
JournalThe Logic Journal of IGPL
Citation KeyPawlowskiAcceptedandforthcoming