1. Classical logic, intuitionistic logic, and the Peirce rule;Africk;Notre Dame Journal of Formal Logic,1992
2. Classical BI: Its semantics and proof theory;Brotherstone;Logical Methods in Computer Science,2010
3. Foundations of mathematical logic;Curry,1963
4. Relevance logic and entailment;Dunn,1986
5. Kombinatorische Konstruktionen mit beweisen und schnittelimination;Felscher;Lecture Notes in Mathematics,1975