A New Representation Theorem for Contranegative Deontic Logic Sven Ove Hanson OriginalPaper Pages: 1 - 7
Light Affine Set Theory: A Naive Set Theory of Polynomial Time Kazushige Terui OriginalPaper Pages: 9 - 40
An Institution-independent Proof of Craig Interpolation Theorem Răzvan Diaconescu OriginalPaper Pages: 59 - 79