Repository | Book | Chapter

COPR BookmarkLink
225577

(1987) Mathematical logic and its applications, Dordrecht, Springer.

The relational semantics for branched quantifiers

Marcin Mostowski

pp. 315-322

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.

Publication details

DOI: 10.1007/978-1-4613-0897-3_23

Full citation:

Mostowski, M. (1987)., The relational semantics for branched quantifiers, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 315-322.

This document is unfortunately not available for download at the moment.