The relational semantics for branched quantifiers
pp. 315-322
in: Dimiter G. Skordev (ed), Mathematical logic and its applications, Berlin, Springer, 1987Abstract
This paper concerns a new second order semantics for branched quantifiers (independent on AC). The proof theory for a logic of branched quantifiers (LB) is formulated, and it is proved that this logic is complete for some very natural semantics.