000 04546nam a22005295i 4500
001 978-3-031-44490-6
003 DE-He213
005 20251030111715.0
007 cr nn 008mamaa
008 240312s2024 sz | s |||| 0|eng d
020 _a9783031444906
_9978-3-031-44490-6
024 7 _a10.1007/978-3-031-44490-6
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
072 7 _aQDTL
_2thema
245 1 0 _aJanusz Czelakowski on Logical Consequence
_h[electronic resource] /
_cedited by Jacek Malinowski, Rafał Palczewski.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2024.
300 _aX, 470 p. 19 illus., 2 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aOutstanding Contributions to Logic,
_x2211-2766 ;
_v27
505 0 _aChapter 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 _aThis 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 _aLogic.
_970674
650 0 _aMathematical logic.
_966195
650 1 4 _aLogic.
_970674
650 2 4 _aMathematical Logic and Foundations.
_966198
700 1 _aMalinowski, Jacek.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_972819
700 1 _aPalczewski, Rafał.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_972820
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031444890
776 0 8 _iPrinted edition:
_z9783031444913
776 0 8 _iPrinted edition:
_z9783031444920
830 0 _aOutstanding Contributions to Logic,
_x2211-2766 ;
_v27
_972821
856 4 0 _uhttps://doi.org/10.1007/978-3-031-44490-6
912 _aZDB-2-REP
912 _aZDB-2-SXPR
999 _c58246
_d58246