63,527 research outputs found
Logical consequences. Theory and applications: An introduction.
2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications
Many-valued logics. A mathematical and computational introduction.
2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome.
The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction.
The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics
Formal logic: Classical problems and proofs
Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational
Languages, machines, and classical computation
3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory
Recent discoveries in colloidal nanoplasmonics
Nanoplasmonics can be defined as the control of the flow of light by objects that are smaller than the light wavelength. The most common nanomaterials for nanoplasmonics are metal nanoparticles, which display intense absorption and scattering in the visible and near-IR due to localized surface plasmon resonances (LSPR). Such resonances can be tuned through the size and shape of the nanoparticles, and therefore optimization of fabrication methods has been an active area of research, where many concepts are still under debate and monodispersity is still an issue, meaning that non-specific broadening of the LSPR bands is thought to be inherent to colloidal systems. Recent progress toward improving synthesis of “optically monodisperse” plasmonic colloids will be presented.
On the other hand, the assembly of nanoparticle building blocks can be exploited toward the amplification of the properties of the components and/or the generation of new features unique to the ensemble. A novel concept has been recently reported in which mixed nanoparticle (e.g. gold and iron oxide) mono- and multi-layers can be generated as crystal-like films on top of a liquid. Upon removal of the iron oxide particles, a lattice of gold nanoparticles remains with a specific internal architecture. Among numerous other applications, these open crystalline structures may help creating porous films with a mesh of predefined holes where analytes can be trapped and identified by SERS.Universidad de Málaga. Campus de Excelencia Internacional AndalucĂa Tech
- …