Proto-semantics for positive free logic
scientific article; zbMATH DE number 1491207