Zafer Özdemir, Tableaux Approach for Contact Logics Interpreted over Intervals; (full text - pdf), pp. 3 - 13.

Gianluca Paolini, Invariant Universality for Projective Planes; (full text - pdf), pp. 15 - 27.

Back to Main Menu