Predicate logics without the structure rules (1986)

by Y Komori
Venue:Studia Logica