The Semantics of Pretopologies
Giovanni Sambin · 1993
Abstract The notion of pretopology, introduced in [S2], may be used as a basic tool to obtain a complete semantics for several sub structural logics. The present paper is a short and partial survey of what is known at the moment on pretopologies, with particular attention to the completeness proofs. Some suggestions for further work are also given.