1,721,387 research outputs found
A note on sigma-essentiality
No full textthis paper complete the results of a previous work due to Pianigiani and de Jongh, and solves analogous problems concerning the modal charcterization of sigma - essential formulas, but this time concentrating on finitely axiomatizable theories
A short note on essentially sentences (revised and extendend version)
No full textCharacterization of -formulas with a binary operator interpreted as interpretability in finitely axiomatizable extensions of the theory and some purposes concerning . In Provability Logic and in Interpretability Logic,
More precisely:
\begin{definition} (See [DJP]) Let be a logic with a
collection of arithmetical interpretations into an r.e. extension \bT of . We
say that a formula is \emph{essentially} with
respect to \bT, if is provably equivalent to a
formula for \emph{any} arithmetical interpretation of
in \bT.\end{definitionn}
[DPJ] De Jongh and Pianigiani obtained some results relative to the system
, with reference to any r.e. -sound extension of . In this note we show that a characterization of this
kind can be obtained also for formulas of the logic
(cf [V1]), with respect to any finitely axiomatizable
-sound extension of
su un problema di caratterizzazione di certe classi formule risolto tramite la nozione di interpretabilità relativa
No full textIntroduzione ad una classe di problemi di logica della interpretabilità relativa detti "problema di Guaspari" per varie teorie e "survey" dei risultati ottenuti e pubblicati dall'autore in collaborazione con i proff. De Jongh e Montagna intorno ad essi.Introduction to a class of problems of the logic of relative interpretability called "Guaspari problem" for various theories and survey of the results obtained and published by the author in collaboration with the proff. De Jongh and Montagna around them
Ruth Barcan Marcus
No full textProfilo della studiosa americana Ruth Barcan Marcus: contributi alla logica modale, alla teoria dei nomi propri, all'etica
Confrontabilità tra teorie: aspetti della logica della dimostrabilità e della interpretabilità relativa
No full textTRIAL and ERROR MATHEMATICS II: DIALECTICAL SETS and QUASIDIALECTICAL SETS, THEIR DEGREES, and THEIR DISTRIBUTION WITHIN the CLASS of LIMIT SETS
No full textThis paper is a continuation of Amidei, Pianigiani, San Mauro, Simi, & Sorbi (2016), where we have introduced the quasidialectical systems, which are abstract deductive systems designed to provide, in line with Lakatos' views, a formalization of trial and error mathematics more adherent to the real mathematical practice of revision than Magari's original dialectical systems. In this paper we prove that the two models of deductive systems (dialectical systems and quasidialectical systems) have in some sense the same information content, in that they represent two classes of sets (the dialectical sets and the quasidialectical sets, respectively), which have the same Turing degrees (namely, the computably enumerable Turing degrees), and the same enumeration degrees (namely, the enumeration degrees). Nonetheless, dialectical sets and quasidialectical sets do not coincide. Even restricting our attention to the so-called loopless quasidialectical sets, we show that the quasidialectical sets properly extend the dialectical sets. As both classes consist of sets, the extent to which the two classes differ is conveniently measured using the Ershov hierarchy: indeed, the dialectical sets are ω-computably enumerable (close inspection also shows that there are dialectical sets which do not lie in any finite level; and in every finite level n ≥ 2 of the Ershov hierarchy there is a dialectical set which does not lie in the previous level); on the other hand, the quasidialectical sets spread out throughout all classes of the hierarchy (close inspection shows that for every ordinal notation a of a nonzero computable ordinal, there is a quasidialectical set lying in , but in none of the preceding levels)
Mondi possibili e probabilità: il progetto leibniziano di logica induttiva.
No full textQuesto saggio (tratto da alcuni capitoli dalla tesi di laurea) cerca di delineare, attraverso l'analisi di frammenti tratti da tutta la produzione leibniziana concernente vari campi del sapere e in tutte le fasi della sua vita, lo sviluppo di una possibile concezione della probabilità
Nano Imprinting Lithography Ultrafast process and its chemical and physical effects on advanced plastic materials
No full textThe main goal of this PhD was to understand the effects of the Pulsed Nanoimprint Lithography (Pulsed-NIL) technique on thermoplastic materials, by performing the imprinting process on a range of different materials and using different stamps and characterization techniques to assess how this process affects chemically and physically the plastic materials. This study has been conducted comparing the imprinting results by the standard Thermal Nano Imprint Lithography technique (standard T-NIL) and by the Pulsed Thermal NIL (Pulsed-NIL).
The study on the material was necessary because, even if both techniques heat up the material at a temperature higher than the glass temperature and, with the application of the pressure, there is a replica of the pattern from the stamp to the sample, the parameters (in particularly, time and temperature of imprint) are very different.
The standard technique has a large diffusion in the research and fabrication in micro and nanotechnology field. The Pulsed-NIL represents an innovation but it was important to demonstrate the capability to realize the imprint maintaining a quality of the structures same as the standard T-NIL and an absence or a limited existence of degradation of the materials due to the high temperature of the imprint.
At the ``Istituto Officina dei Materiali'' of CNR (IOM-CNR) laboratories at Elettra - Area Science Park (Basovizza, Trieste), January 2014, a first prototype (Thunder 1.0), for Pulsed- NIL of small areas (40*40mm2), based on the patent of ThunderNIL S.r.L., was operational and the second (ULISS), for the micro and nano imprint of bigger areas (4'' wafers), was nearing the end of design.
The early months of the PhD were used for the design and executive drawings process, and also completed the assembling process of the machine used for the experimental part.
The drawings are not in this thesis because they are not significant for the researching field.
To better understand the innovation introduced by ThunderNIL, it is important to have, at first, an overview of the standard process. In chapter 4 the technique is presented together with the intrinsic disadvantages.
Chapter 5 enters more in detail with the innovative technique.
Two chapters (6 and 7) are dedicated to the fabrication of the stamps for the imprint with both techniques. In particular the first is an introduction, whereas the second is a step by step logbook to better explain the processes involved, the work flow and time consuming behind the stamp.
At the end of that chapter also the main parameters of two examples of imprint (one for standard, the other for Pulsed-NIL) were presented.
The second part is dedicated to the analysis of the selected material and focuses on the quality of the imprint, in particular with the use of AFM (Chapter 8) that is here introduced.
Chapter 9 is completely dedicated to the comparison between the standard and Pulsed-NIL imprinted structures and chapter 10 is a discussion about the results which includes a conclusion summary
Alien Registration- Pianigiani, Pia (Bar Harbor, Hancock County)
Full text linkhttps://digitalmaine.com/alien_docs/17194/thumbnail.jp
- …
