Quantifiers, Propositions and Identity - Admissible Semantics for Quantified Modal and Substructural Logics

Informationen zum Autor Robert Goldblatt is a Professor of Pure Mathematics at the Victoria University of Wellington, New Zealand, and a Fellow of the Royal Society of New Zealand. He has served as the Co-ordinating Editor of the Journal of Symbol Logic and has been a Managing Editor of Studia Logica for the past two decades. Klappentext Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation. Zusammenfassung Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation. This book is for mathematical or philosophical logicians! computer scientists and linguists! including academic researchers! teachers and advanced students. Inhaltsverzeichnis Introduction and overview; 1. Logics with actualist quantifiers; 2. The Barcan formulas; 3. The existence predicate; 4. Propositional functions and predicate substitution; 5. Identity; 6. Cover semantics for relevant logic; References; Index.

Produktdetails

• Autoren: Robert Goldblatt, Robert (Victoria University of Wellingt Goldblatt, Robert (Victoria University of Wellington) Goldblatt, GOLDBLATT ROBERT
• Verlag: Cambridge University Press ELT
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 14.07.2011
• EAN: 9781107010529
• ISBN: 978-1-107-01052-9
• Seiten: 282
• Serien: Lecture Notes in Logic; Lecture Notes in Logic; Lecture Notes in Logic, Series
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Mathematik > Grundlagen