Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Quantifiers, Propositions and Identity

Name: Quantifiers, Propositions and Identity
Brand: Cambridge University Press
SKU: 04385543
Price: 870.18 RON
Availability: InStock
Author: Robert Goldblatt
ISBN: 9781107010529

Admissible Semantics for Quantified Modal and Substructural Logics

Robert Goldblatt

Limba

engleză

Carte Copertă tare

Codul Libristo: 04385543

Editura Cambridge University Press, iulie 2011

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible world... Descrierea completă

Codul Libristo: 04385543

403 b

870.18 lei

În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Zásluhy žen Moderata Fonte

Copertă tare

53.50 lei

130 Problèmes de robinets qui fuient et de trains qui se croisent

Copertă tare

56.09 lei

Coloriage aquarelle - Balades en forêt

Carte broșată

110.32 lei

Petit Traite de Morale Sociale, Redige Conformement Au Programme Du 30 Mai 1902. 3e Edition PECAUT-P-F

Carte broșată

111.15 lei

Andorra : 17 excursions a peu MANEL FIGUERA

Carte broșată

78.59 lei

Reiki : sabiduría del universo y luz del corazón Thais López Moline

Carte broșată

129.09 lei

Bestandsdokumentation Gutshaus Göritz Jens Putz

Carte broșată

261.30 lei

Die Pfeilgifte Louis Lewin

Carte broșată

222.00 lei

Československo a pobaltské státy v letech 1918-1939 Luboš Švec

Carte broșată

45.10 lei

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke–Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists.