Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic Roberto CignoliAntoni Torrens Pages: 361 - 370
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem Sara Negri Pages: 389 - 401