國立高雄大學圖資館 |

Language: English

Back

Janusz Czelakowski on logical consequence

Record Type:	Electronic resources : Monograph/item
Title/Author:	Janusz Czelakowski on logical consequenceedited by Jacek Malinowski, Rafal Palczewski.
other author:	Malinowski, Jacek.
Published:	Cham :Springer International Publishing :2024.
Description:	x, 470 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Algebraic logic.
Online resource:	https://doi.org/10.1007/978-3-031-44490-6
ISBN:	9783031444906$q(electronic bk.)

Janusz Czelakowski on logical consequence
Janusz Czelakowski on logical consequence[electronic resource] /edited by Jacek Malinowski, Rafal Palczewski. - Cham :Springer International Publishing :2024. - x, 470 p. :ill. (some col.), digital ;24 cm. - Outstanding contributions to logic,v. 272211-2766 ;. - Outstanding contributions to logic ;v.3..

Chapter 1. Introduction (Jacek Malinowski and Rafał Palczewski) -- Chapter 2. Biogram (Janusz Czelakowski) -- Chapter 3. Section of logic in Łódź 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 Castañ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, Sé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 Länger, Antonio Ledda, and Jan Paseka) -- Chapter 16. My final comments to the volume (Janusz Czelakowski) -- Chapter 17. List of publications of Janusz Czelakowski.

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.

ISBN: 9783031444906$q(electronic bk.)

Standard No.: 10.1007/978-3-031-44490-6doiSubjects--Personal Names:

726902
Czelakowski, Janusz.
Subjects--Topical Terms:

522723
Algebraic logic.

LC Class. No.: QA10 / .J36 2024

Dewey Class. No.: 511.324

Janusz Czelakowski on logical consequence
LDR:03615nmm a22003375a 4500 001 665632
003 DE-He213
005 20240312141517.0
006 m d
007 cr nn 008maaau
008 241219s2024 sz s 0 eng d
020 $a 9783031444906$q(electronic bk.)
020 $a 9783031444890$q(paper)
024 7 $a 10.1007/978-3-031-44490-6 $2 doi
035 $a 978-3-031-44490-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA10 $b .J36 2024
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 511.324 $2 23
090 $a QA10 $b .J35 2024
245 0 0 $a Janusz Czelakowski on logical consequence $h [electronic resource] / $c edited by Jacek Malinowski, Rafal Palczewski.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2024.
300 $a x, 470 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Outstanding contributions to logic, $x 2211-2766 ; $v v. 27
505 0 $a Chapter 1. Introduction (Jacek Malinowski and Rafał Palczewski) -- Chapter 2. Biogram (Janusz Czelakowski) -- Chapter 3. Section of logic in Łódź 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 Castañ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, Sé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 Lä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 $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.
600 1 0 $a Czelakowski, Janusz. $3 726902
650 0 $a Algebraic logic. $3 522723
650 1 4 $a Logic. $3 180785
650 2 4 $a Mathematical Logic and Foundations. $3 274479
700 1 $a Malinowski, Jacek. $3 338131
700 1 $a Palczewski, Rafal. $3 978564
700 1 $a Czelakowski, Janusz. $3 726902
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Outstanding contributions to logic ; $v v.3. $3 678078
856 4 0 $u https://doi.org/10.1007/978-3-031-44490-6
950 $a Religion and Philosophy (SpringerNature-41175)