You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 5th volume of the FoLLI LNAI subline. It contains the refereed proceedings of the Third Indian Conference on Logic and Its Applications, ICLA 2009, held in Chennai, India, in January 2009. The 12 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from numerous submissions. The papers present current research in all aspects of formal logic. They address in detail: algebraic logic and set theory, combinatorics and philosophical logic, modal logics with applications to computer science and game theory, and connections between ancient logic systems and modern systems.
This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.
This collection of chapters tracks and explains the impact of the nine core United Nations human rights treaties in 20 selected countries, four from each of the five UN regions. Researchers based in each of these countries were responsible for the chapters, in which they assess the influence of the treaties and treaty body recommendations on legislation, policies, court decisions and practices. By covering the 20 years between July 1999 and June 2019, this book updates a study done 20 years ago.
This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) and history of logic (Leibniz, Peirce, Hilbert). The volume gathers personal recollections about Jean-Yves Béziau and an autobiography, followed by 25 papers written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Irving Anellis, Dov Gabbay, Ivor Grattan-Guinness, Istvan Németi, Henri Prade. These essays will be of interest to all students and researchers interested in the nature and future of logic.
None
Wydana nakładem Wydawnictwa INP PAN monografia pt. Obstrukcja w procesie karnym powstała na podstawie pracy magisterskiej o tym samym tytule, którą Autorka obroniła w 2019 r. na Wydziale Prawa i Administracji Uniwersytetu im. Adama Mickiewicza w Poznaniu. W opracowaniu dokonano aktualizacji w zakresie m.in. nowelizacji Kodeksu postępowania karnego z 2019 r. oraz uwzględniono aspekty zachowań obstrukcyjnych z wykorzystaniem sytuacji wywołanej pandemią COVID-19. Monografia stanowi pierwsze obszerne opracowanie dotyczące problematyki występowania zjawiska obstrukcji w procesie karnym. W opracowaniu dokonano ogólnej charakterystyki pojęcia obstrukcji na podstawie dostępnych źród...
Księga jubileuszowa powstała dla uczczenia działalności naukowej oraz zawodowej dr. hab., prof. UW Mirosława Wyrzykowskiego, który całe swoje życie zawodowe poświęcił budowaniu i umacnianiu praworządności w Polsce, standardów demokratycznych oraz kulturze przestrzegania praw człowieka. Teksty zgromadzone w Księdze zgrupowano w cztery części: pierwsza nawiązuje do kwestii fundamentalnych o charakterze ustrojowym; druga podejmuje zagadnienia ustrojowego statusu sędziów oraz ich niezależności i niezawisłości, szczególnie w warunkach antyustrojowej presji; trzecia przedstawia różne współczesne wyzwania dla ochrony praw i wolności jednostki; czwarta spogląda na polski kontekst kryzysu praworządności z perspektywy prawa Unii Europejskiej oraz aktywności organów i instytucji UE.
None