On Combinatorial Proofs for Logics of Relevance and Entailment.

Matteo Acclavio, Lutz Straburger

Browse the full WoLLIC paper archive.