Janusz Czelakowski on Logical Consequence (Record no. 58246)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04546nam a22005295i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-44490-6 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030111715.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 | 240312s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031444906 |
| -- | 978-3-031-44490-6 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-031-44490-6 |
| 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 |
| 245 10 - TITLE STATEMENT | |
| Title | Janusz Czelakowski on Logical Consequence |
| Medium | [electronic resource] / |
| Statement of responsibility, etc. | edited by Jacek Malinowski, Rafał Palczewski. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer International Publishing : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | X, 470 p. 19 illus., 2 illus. in color. |
| Other physical details | online resource. |
| 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 |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Outstanding Contributions to Logic, |
| International Standard Serial Number | 2211-2766 ; |
| Volume/sequential designation | 27 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Chapter 1. Introduction (Jacek Malinowski and Rafał Palczewski) -- Chapter 2. Biogram (Janusz Czelakowski) -- Chapter 3. Section of logic in Łódź 1982–1992 (Jacek Malinowski) -- Part 1: Surveys -- Chapter 4. Janusz Czelakowski’s research on the theory of matrices and its applications in the seventies and eighties of the 20th century (Josep Maria Font and Ramon Jansana) -- Chapter 5. A gentle introduction to the Leibniz hierarchy (Tommaso Moraschini) -- Chapter 6. Czelakowski’s work on quasivarieties (Miguel Campercholi and Diego Castaño) -- Chapter 7. On J. Czelakowski’s contributions to quantum logic and the foundation of quantum mechanics (Davide Fazio) -- Chapter 8. Actions and deontology: Janusz Czelakowski on actions and their assessment (Fengkui Ju and Piotr Kulicki) -- Part 2: Research -- Chapter 9. Assertional logics and the Frege hierarchy (Hugo Albuquerque and Ramon Jansana) -- Chapter 10. Characterization of strong day implication systems (Sergey Babenyshev) -- Chapter 11. SCI – Sequentcalculi, cut elimination and interpolation property (Andrzej Indrzejczak) -- Chapter 12. Some more theorems on structural entailment relations and non-deterministic semantics (Carlos Caleiro, Sérgio Marcelino, and Umberto Rivieccio) -- Chapter 13. Boolean-like algebras of finite dimension: From Boolean products to semiring products (Antonio Bucciarelli, Antonio Ledda, Francesco Paoli, and Antonino Salibra) -- Chapter 14. Logic of action from the perspective of knowledge representation (Andreas Herzig, Emiliano Lorini, and Elise Perrotin) -- Chapter 15. Implication in sharply paraorthomodular and relatively paraorthomodular posets (Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, and Jan Paseka) -- Chapter 16. My final comments to the volume (Janusz Czelakowski) -- Chapter 17. List of publications of Janusz Czelakowski. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This book is dedicated to the life and work of logician Janusz Czelakowski on the topic of logical consequence. It consists of three parts – a biography, a survey and research sections. The volume begins with an autobiographic chapter by Janusz Czelakowski followed by a historical chapter written by Jacek Malinowski. The survey section forms the backbone of the volume with each chapter covering one of Janusz Czelakowski’s results. They focus on his results in the area of logical consequence, demonstrate how his results influenced following research, and presents potential future results, problems and applications. This volume is of interest to logicians and mathematicians. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 66195 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 66198 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Malinowski, Jacek. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 72819 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Palczewski, Rafał. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 72820 |
| 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 | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031444890 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031444913 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031444920 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Outstanding Contributions to Logic, |
| International Standard Serial Number | 2211-2766 ; |
| Volume number/sequential designation | 27 |
| 9 (RLIN) | 72821 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-031-44490-6">https://doi.org/10.1007/978-3-031-44490-6</a> |
| 912 ## - | |
| -- | ZDB-2-REP |
| 912 ## - | |
| -- | ZDB-2-SXPR |
No items available.