Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | Book | Chapter
The relational semantics for branched quantifiers
pp. 315-322
Abstract
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
Published in:
Skordev Dimiter G (1987) Mathematical logic and its applications. Dordrecht, Springer.
Pages: 315-322
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
DOI: 10.1007/978-1-4613-0897-3_23
Full citation:
Mostowski Marcin (1987) „The relational semantics for branched quantifiers“, In: D.G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, 315–322.