03240nam 2200505 450 991055299840332120231110222457.01-80037-417-8(CKB)4940000000617618(UtOrBLW)eep9781800374171(MiAaPQ)EBC6793861(Au-PeEL)EBL6793861(oapen)https://directory.doabooks.org/handle/20.500.12854/79463(EXLCZ)99494000000061761820220719d2021 uy 0engurun|||||||||txtrdacontentcrdamediacrrdacarrierNational courts and preliminary references to the Court of Justice /Jasper KrommendijkNorthampton :Edward Elgar Publishing,2021.1 online resource (224 pages)Elgar studies in European law and policy series1-80037-416-X Includes bibliographical references and index.Contents: 1. Introduction to national courts and preliminary references to the Court of Justice -- 2. Legal formalism versus pragmatism -- 3. Other non-political considerations and factors -- 4. Politico-strategic reasons -- 5. The interaction: Dialogue or monologue? -- 6. Perspectives on the answers of the ECJ -- 7. Follow-up: Strict adherence or divergence? -- 8. Conclusions to national courts and preliminary references to the Court of Justice -- Bibliography -- Index."This innovative book examines why national courts refer preliminary references to the European Court of Justice (ECJ), and what the referring court does with the answers. Jasper Krommendijk highlights the three core stages in the interaction between national courts and the ECJ: question, answer and follow-up, shedding new light on this under-explored area. Closing the gap between empirical interview data, and case law analysis, chapters use a unique combination of the two research methods to consider two current, and one former, EU Member States. The book demonstrates that judges extensively use the procedure and follow its outcome almost without exception, despite dissatisfaction and criticism regarding the absence of a true dialogue. By embedding the examples in the book in appropriate theory, this study will provide a useful read for students of EU law, particularly those wanting to better understand its consequences in the national legal order. Its recommendations for good practices in the ECJ and national courts will also be helpful to legal practitioners, judges and legal secretaries"--Provided by publisher.Elgar Studies in European Law and Policy CourtsEuropeCourt administrationEuropeEuropean Union countriesfastnational courts; court of justice; ECJCourtsCourt administration347.2401Krommendijk Jasper1215993Edward Elgar Publishing,MiAaPQMiAaPQMiAaPQBOOK9910552998403321National courts and preliminary references to the Court of Justice2809910UNINA03706nam 22006375 450 991048407050332120251113212505.03-030-56554-810.1007/978-3-030-56554-1(CKB)4100000011515530(DE-He213)978-3-030-56554-1(MiAaPQ)EBC6380775(MiAaPQ)EBC6647476(Au-PeEL)EBL6380775(OCoLC)1225937380(Au-PeEL)EBL6647476(PPN)269144951(EXLCZ)99410000001151553020201020d2020 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierDecidability of Logical Theories and Their Combination /by João Rasga, Cristina Sernadas1st ed. 2020.Cham :Springer International Publishing :Imprint: Birkhäuser,2020.1 online resource (XIII, 178 p. 70 illus., 1 illus. in color.) Studies in Universal Logic,2297-02903-030-56553-X Includes bibliographical references and index.Chapter 1: First Order Logic -- Chapter 2: Reasoning with Theories -- Chapter 3: Decidability Results on Theories -- Chapter 4: Quantifier Elimination -- Chapter 5: Combination of Theories -- Appendix: Basics of Computability -- Bibliography -- Table of Symbols -- Subject Index.This textbook provides a self-contained introduction to decidability of first-order theories and their combination. The technical material is presented in a systematic and universal way and illustrated with plenty of examples and a range of proposed exercises. After an overview of basic first-order logic concepts, the authors discuss some model-theoretic notions like embeddings, diagrams, and elementary substructures. The text then goes on to explore an applicable way to deduce logical consequences from a given theory and presents sufficient conditions for a theory to be decidable. The chapters that follow focus on quantifier elimination, decidability of the combination of first-order theories and the basics of computability theory. The inclusion of a chapter on Gentzen calculus, cut elimination, and Craig interpolation, as well as a chapter on combination of theories and preservation of decidability, help to set this volume apart from similar books in the field. Decidability of Logical Theories and their Combination is ideal for graduate students of Mathematics and is equally suitable for Computer Science, Philosophy and Physics students who are interested in gaining a deeper understanding of the subject. The book is also directed to researchers that intend to get acquainted with first-order theories and their combination.Studies in Universal Logic,2297-0290Logic, Symbolic and mathematicalMachine theoryMathematicsPhilosophyMathematical Logic and FoundationsFormal Languages and Automata TheoryPhilosophy of MathematicsLogic, Symbolic and mathematical.Machine theory.MathematicsPhilosophy.Mathematical Logic and Foundations.Formal Languages and Automata Theory.Philosophy of Mathematics.511.3Rasga João845263Sernadas CristinaMiAaPQMiAaPQMiAaPQBOOK9910484070503321Decidability of Logical Theories and Their Combination1886075UNINA