Quantifiers, Propositions and Identity : (Record no. 69173)

MARC details
000 -LEADER
fixed length control field 04404nam a22004573i 4500
001 - CONTROL NUMBER
control field EBC3004586
003 - CONTROL NUMBER IDENTIFIER
control field MiAaPQ
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20191126084429.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 191125s2011 xx o ||||0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781139099783
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9781107010529
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC3004586
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL3004586
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10576303
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)923617216
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9.46 .G664 2011
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Goldblatt, Robert.
9 (RLIN) 22865
245 10 - TITLE STATEMENT
Title Quantifiers, Propositions and Identity :
Remainder of title Admissible Semantics for Quantified Modal and Substructural Logics.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cambridge :
Name of producer, publisher, distributor, manufacturer Cambridge University Press,
Date of production, publication, distribution, manufacture, or copyright notice 2011.
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice ©2011.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (284 pages)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
490 1# - SERIES STATEMENT
Series statement Lecture Notes in Logic ;
Volume/sequential designation v.38
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Cover -- Title -- Copyright -- Contents -- Introduction and Overview -- Chapter 1. Logics with Actualist Quantifiers -- 1.1. Syntax -- 1.2. Logics -- 1.3. Incompleteness and Admissibility -- 1.4. Some History of the Quantifiers. -- 1.5. Model Structures -- 1.6. Premodels and Models -- 1.7. Soundness -- 1.8. Infinitely Many Constants -- 1.9. Canonical Models and Completeness -- 1.10. Completeness and Canonicity for QS -- 1.11. Kinds of Incompleteness -- 1.11.1. Incompleteness for Kripkean Models -- 1.11.2. Kripkean S-frame Incompleteness -- 1.11.3. Non-Canonical S-frame Incompleteness -- Chapter 2. The Barcan Formulas -- 2.1. Logics with CBF -- 2.2. Contracting Domains for All -- 2.3. Constant Domains for CBF -- 2.4. One Universal Domain -- 2.5. The Deductive Role of Commuting Quantifiers -- 2.6. Completeness with CBF and BF -- 2.7. Completeness with UI and BF. -- 2.8. S-frame Incompleteness Revisited -- Chapter 3. The Existence Predicate -- 3.1. Axiomatising Existence -- 3.2. Completeness for Kripkean E-Models -- 3.3. Necessity of (Non)Existence -- 3.4. Independence of BF from NNE -- 3.5. What is the Role of the Barcan Formula? -- Chapter 4. Propositional Functions and Predicate Substitution -- 4.1. Functional Model Structures -- 4.2. Predicate Substitution: Notation and Terminology -- 4.3. The Anatomy of Predicate Substitution -- 4.3.1. Changing Bound Variables -- 4.3.2. Sufficient Freeness -- 4.3.3. Defining φ(ΨP/PxP : P ∈ Π) in General -- 4.3.4. Strongly Free Substitution -- 4.3.5. Parameterless Substitution -- 4.4. Soundness of Predicate Substitution -- 4.5. Functional Canonicity -- Chapter 5. Identity -- 5.1. Intension versus Extension -- 5.2. Syntax -- 5.3. Identity and Rigid Functions -- 5.4. Model Structures and Models -- 5.5. Validity of Substitutivity of Identicals -- 5.6. Axiomatisation and Completeness -- 5.7. Kripkean Models.
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 5.8. Definite Descriptions -- Chapter 6. Cover Semantics for Relevant Logic -- 6.1. Routley-Meyer Models for R -- 6.2. Admissible Semantics for RQ -- 6.3. Local Truth and Covers -- 6.4. Relevant Cover Systems -- 6.5. Cover System Completeness for R -- 6.6. Modelling Fusion -- 6.7. Cover System Characterisation of RQ -- 6.8. Heyting Implication for Full Systems -- 6.9. Localic Cover Systems for HR and HRQ -- References -- Index.
520 ## - SUMMARY, ETC.
Summary, etc. Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation.
588 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on publisher supplied metadata and other sources.
590 ## - LOCAL NOTE (RLIN)
Local note Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2019. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Modality (Logic);Variables (Mathematics);Semantics (Philosophy);Logic, Symbolic and mathematical.
9 (RLIN) 22866
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 22867
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Goldblatt, Robert
Title Quantifiers, Propositions and Identity : Admissible Semantics for Quantified Modal and Substructural Logics
Place, publisher, and date of publication Cambridge : Cambridge University Press,c2011
International Standard Book Number 9781107010529
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ProQuest (Firm)
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture Notes in Logic
9 (RLIN) 22868
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/thebc/detail.action?docID=3004586">https://ebookcentral.proquest.com/lib/thebc/detail.action?docID=3004586</a>
Public note Click to View
887 ## - NON-MARC INFORMATION FIELD
Content of non-MARC field EBK
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Ebrary
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Barcode Date last seen Price effective from Koha item type
        Afghanistan Afghanistan 26/11/2019   EBKAF-N00011817 26/11/2019 26/11/2019 Ebrary
        Algeria Algeria           Ebrary
        Cyprus Cyprus           Ebrary
        Egypt Egypt           Ebrary
        Libya Libya           Ebrary
        Morocco Morocco           Ebrary
        Nepal Nepal 26/11/2019   EBKNP-N00011817 26/11/2019 26/11/2019 Ebrary
        Sudan Sudan           Ebrary
        Tunisia Tunisia           Ebrary