An Operational Logic of Proofs with Positive and Negative Information Duccio LuchiFranco Montagna OriginalPaper Pages: 7 - 25
Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric Paolo Gentilini OriginalPaper Pages: 27 - 48
James D. McCawley, Everything That Linguists Have Always Wanted to Know About Logic OriginalPaper Pages: 121 - 150