Librarian View
LEADER
04618nam a22005295i 4500
001
17128001
005
20240410161624.0
006
m o d
007
cr nn 008mamaa
008
240312s2024 sz | o |||| 0|eng d
020
|a
9783031444906
024
7
|a
10.1007/978-3-031-44490-6
|2
doi
035
|a
(DE-He213)978-3-031-44490-6
050
4
|a
BC1-199
245
1
0
|a
Janusz Czelakowski on Logical Consequence
|h
[electronic resource] /
|c
edited by Jacek Malinowski, Rafał Palczewski.
250
|a
1st ed. 2024.
264
1
|a
Cham :
|b
Springer International Publishing :
|b
Imprint: Springer,
|c
2024.
300
|a
1 online resource (X, 470 p.) 19 illus., 2 illus. in color.
336
|a
text
|b
txt
|2
rdacontent
337
|a
computer
|b
c
|2
rdamedia
338
|a
online resource
|b
cr
|2
rdacarrier
347
|a
text file
|b
PDF
|2
rda
490
1
|a
Outstanding Contributions to Logic,
|x
2211-2766 ;
|v
27
505
0
|a
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.
506
|a
Access restricted by licensing agreement.
520
|a
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.
590
|a
Access is available to the Yale community.
650
0
|a
Logic.
650
0
|a
Mathematical logic.
700
1
|a
Malinowski, Jacek.
|e
editor.
|4
edt
|4
http://id.loc.gov/vocabulary/relators/edt
700
1
|a
Palczewski, Rafał.
|e
editor.
|4
edt
|4
http://id.loc.gov/vocabulary/relators/edt
710
2
|a
SpringerLink (Online service)
730
0
|a
Springer ENIN.
773
0
|t
Springer Nature eBook
776
0
8
|i
Printed edition:
|z
9783031444890
776
0
8
|i
Printed edition:
|z
9783031444913
776
0
8
|i
Printed edition:
|z
9783031444920
830
0
|a
Outstanding Contributions to Logic,
|x
2211-2766 ;
|v
27
852
8
0
|b
yulintx
|h
None
|z
Online resource
852
8
0
|z
Online resource
856
4
0
|y
Online book
|u
https://yale.idm.oclc.org/login?URL=https://doi.org/10.1007/978-3-031-44490-6
901
|a
BC1-199
902
|a
Yale Internet Resource
|b
Yale Internet Resource >> None|DELIM|17005375
905
|a
online resource
907
|a
2024-04-10T16:16:24.000Z
946
|a
DO NOT EDIT. DO NOT EXPORT.
953
|a
https://doi.org/10.1007/978-3-031-44490-6