1.

Record Nr.

UNINA9910135780903321

Titolo

ANSI Std N42.15-1990 : American National Standard for Performance Verification of Liquid-Scintillation Counting Systems / / Institute of Electrical and Electronics Engineers

Pubbl/distr/stampa

New York, New York : , : IEEE, , 1990

ISBN

1-55937-042-4

Descrizione fisica

1 online resource (17 pages)

Disciplina

574.028

Soggetti

Liquid scintillation counting

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Sommario/riassunto

Provides designers and users with tests and procedures to assure that a liquid-scintillation counting system is producing reliable data. This standard does not cover the calculation of sample activity for quenched unknown samples, sample preparation, efficiency correlation, (quench correction) procedures, or identification of unknown radionuclides.



2.

Record Nr.

UNINA9910483322003321

Titolo

Logic in High Definition : Trends in Logical Semantics / / edited by Alessandro Giordani, Jacek Malinowski

Pubbl/distr/stampa

Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021

ISBN

3-030-53487-1

Edizione

[1st ed. 2021.]

Descrizione fisica

1 online resource (V, 243 p. 59 illus.)

Collana

Trends in Logic, Studia Logica Library, , 2212-7313 ; ; 56

Disciplina

121.68

Soggetti

Logic

Language and languages - Philosophy

Formal Logic

Philosophy of Language

Philosophical Logic

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Chapter 1. Logic in High Definition, Trends in Logical Semantics (Alessandro Giordani and Jacek Malinowski) -- Chapter 2. Relating Semantics as Fine-grained Semantics for Intensional Propositional Logics (Tomasz Jarmuzek). Chapter 3. Some Intensional Logics Defined by Relating Semantics and Tableau systems (Tomasz Jarmuzek and Mateusz Klonowski) -- Chapter 4. Relating Semantics for Connexive Logic (Jacek Malinowski and Rafał Palczewski) -- Chapter 5. Discussion Note: Exact Truthmaking as Inexact Truthmaking by Minimal Totality Facts (Hannes Leitgeb) -- Chapter 6. Hyperintensionality in Imagination (Pierre Saint-Germier) -- Chapter 7. Deontic Logic with Action Types and Tokens (Alessandro Giordani) -- Chapter 8. Causal Agency and Responsibility: A Refinement of STIT Logic (Alexandru Baltag, Ilaria Canavotto and Sonja Smets) -- Chapter 9. Impossible Individuals as Necessarily Empty Individual Concepts (Marie Duzı, Daniela Glavanicova and Bjørn Jespersen) -- Chapter 10. Metalinguistic Focus in P-HYPE Semantics (Luke Burke). .

Sommario/riassunto

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is



based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field oflogic. .