Inquisitive Logic (Запис № 574028)

МАРК-запис
000 -LEADER
fixed length control field 03037nam a22005295i 4500
001 - CONTROL NUMBER
control field 978-3-031-09706-5
003 - CONTROL NUMBER IDENTIFIER
control field DE-He213
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20230501124247.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230301s2022 sz | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783031097065
-- 978-3-031-09706-5
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-031-09706-5
Source of number or code doi
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC1-199
072 #7 - SUBJECT CATEGORY CODE
Subject category code HPL
Source bicssc
072 #7 - SUBJECT CATEGORY CODE
Subject category code PHI011000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code QDTL
Source thema
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 160
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Ciardelli, Ivano.
Relator term author.
Relator code aut
-- http://id.loc.gov/vocabulary/relators/aut
245 10 - TITLE STATEMENT
Title Inquisitive Logic
Medium [electronic resource] :
Remainder of title Consequence and Inference in the Realm of Questions /
Statement of responsibility, etc by Ivano Ciardelli.
250 ## - EDITION STATEMENT
Edition statement 1st ed. 2022.
264 #1 -
-- Cham :
-- Springer International Publishing :
-- Imprint: Springer,
-- 2022.
300 ## - PHYSICAL DESCRIPTION
Extent XX, 272 p. 53 illus., 3 illus. in color.
Other physical details online resource.
336 ## -
-- text
-- txt
-- rdacontent
337 ## -
-- computer
-- c
-- rdamedia
338 ## -
-- online resource
-- cr
-- rdacarrier
347 ## -
-- text file
-- PDF
-- rda
490 1# - SERIES STATEMENT
Series statement Trends in Logic, Studia Logica Library,
Міжнародний стандартний серійний номер для назви серії (ISSN) 2212-7313 ;
Том/ позначення послідовності 60
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note 1. Introduction -- 2. On the role of questions in logic -- 3. Questions in propositional logic -- 4. Reasoning with questions -- 5. Questions in first-order logic -- 6. Questions in modal logic -- 7. Connections with intuitionistic logic -- 8. Connections with dependence logic -- 9. Conclusion.
506 0# - RESTRICTIONS ON ACCESS NOTE
Terms governing access Open Access
520 ## - SUMMARY, ETC.
Summary, etc This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions, including logical answerhood and dependency, emerge as facets of the fundamental notion of entailment once logic is extended to questions, and can therefore be treated with the logician’s toolkit, including model-theoretic constructions and proof systems. After motivating the enterprise, the book describes how classical propositional and predicate logic can be made inquisitive—i.e., extended conservatively with questions—and what the resulting logics look like in terms of meta-theoretic properties and proof systems. Finally, the book discusses the tight connections between inquisitive logic and dependence logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical logic.
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic.
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Mathematical Logic and Foundations.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer Nature eBook
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783031097058
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783031097072
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9783031097089
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Trends in Logic, Studia Logica Library,
-- 2212-7313 ;
Volume number/sequential designation 60
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1007/978-3-031-09706-5">https://doi.org/10.1007/978-3-031-09706-5</a>
912 ## -
-- ZDB-2-SMA
912 ## -
-- ZDB-2-SXMS
912 ## -
-- ZDB-2-SOB

Немає доступних примірників.