1,721,172 research outputs found
La Fenomenologia tra essenza ed esistenza
No full textÈ intenzione del presente lavoro indagare, seguendo una prospettiva gnoseologica, una parte almeno della storia di due modelli filosofici che hanno indicato una via sostanziale - ed, in questo senso, forte - del pensare. Il tomismo e la fenomenologia, seppur praticamente distanti, mostrano in controluce uno spirito che pare accostarli nella ricerca essenziale del conoscere. Da tale presupposto si sviluppa una ricerca tesa ad evidenziare i principi stessi delle esigenze razionali fenomenologiche sullo sfondo prospettico dell ́imponente struttura metafisica tomista, della quale l ́opera husserliana raccoglie l ́afflato ad essere sistematica di sapere. In un serrato confronto con le acquisizioni teoretiche contenute nelle principali opere dei due pensatori studiati, viene messo in luce ciò che in Husserl è ricerca ed in Tommaso è verità pretesa. Obbiettivo dell ́autore non è quello di giustificare ed eleggere affinità, bensì d ́interrogare per quanto possibile, nella crisi della condizione in atto, le intenzioni che hanno spinto due pensieri a farsi sistema, chiavi di volta che, sommerse, pur vivono ed agiscono nell ́esistere
Logiche sottostrutturali
Full text linkQuesto lavoro è un invito allo studio delle logiche sottostrutturali, una famiglia di logiche che generalizzano la logica classica. In primo luogo, discuteremo la formulazione della logica classica à la Gentzen, per poi vedere, passo dopo passo, quali siano le motivazioni che possono spingere a considerare le sue generalizzazioni sottostruttural
Logical and algebraic structures from Quantum Computation
Full text linkThe main motivation for this thesis is given by the open problems regarding the axiomatisation of quantum computational logics. This thesis will be structured as follows: in Chapter 2 we will review some basics of universal algebra and functional analysis. In Chapters 3 through 6 the fundamentals of quantum gate theory will be produced. In Chapter 7 we will introduce quasi-MV algebras, a formal study of a suitable selection of algebraic operations associated with quantum gates. In Chapter 8 quasi-MV algebras will be expanded by a unary operation hereby dubbed square root of the inverse, formalising a quantum gate which allows to induce entanglement states. In Chapter 9 we will investigate some categorial dualities for the classes of algebras introduced in Chapters 7 and 8. In Chapter 10 the discriminator variety of linear Heyting quantum computational structures, an algebraic counterpart of the strong quantum computational logic, will be considered. In Chapter 11, we will list some open problems and, at the same time, draw some tentative conclusions. Lastly, in Chapter 12 we will provide a few examples of the previously investigated structures
Stone-Type Representations and Dualities for Varieties of Bisemilattices
No full textIn this article we will focus our attention on the variety of distributive bisemilattices and some linguistic expansions thereof: bounded, De Morgan, and involutive bisemilattices. After extending Balbes’ representation theorem to bounded, De Morgan, and involutive bisemilattices, we make use of Hartonas–Dunn duality and introduce the categories of 2spaces and 2spaces will play with respect to the categories of distributive bisemilattices and De Morgan bisemilattices, respectively, a role analogous to the category of Stone spaces with respect to the category of Boolean algebras. Actually, the aim of this work is to show that these categories are, in fact, dually equivalent
Towards quantum computational logics
No full textQuantum computational logics have recently stirred increasing attention (Cattaneoetal.inMath.Slovaca54:87–108,2004;Leddaetal.inStud.Log.82(2):245–270,2006; Giuntini et al. in Stud. Log. 87(1):99–128, 2007). In this paper we outline their motivations and report on the state of the art of the approach to the logic of quantum computation that has been recently taken up and developed by our research group
A note on many valued quantum computational logics
No full textThe standard theory of quantum computation reliesontheideathatthebasicinformationquantityisrepresented by a superposition of elements of the canonical basis andthenotionofprobabilitynaturallyfollowsfromtheBorn rule.Inthisworkweconsiderthreevaluedquantumcomputationallogics.Morespecifically,wewillfocusontheHilbert spaceC3,wediscussextensionsofseveralgatestothisspace and,usingthenotionofeffectprobability,weprovideacharacterization of its states
Categories of semigroups in quantum computational structures
No full textWe investigate a categorial duality between quasi MV-algebras
(a variety of algebras arising from quantum computation and tightly connected
with fuzzy logic) and a reflective subcategory of l-groups with strong unit
A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0
No full textIn this work, we investigate a categorical equivalence between the class of bounded distributive quasi lattices that satisfy the quasiequation x∨0=0 =⇒ x = 0, and a category whose objects are sheaves over Priestley spaces
Infrastructural landscape fragmentation versus occlusion: a sensitivity analysis
Full text linkLandscape fragmentation, i.e. the process where large habitat patches become smaller and more isolated, has often been accelerated by human activities, such as deforestation, agricultural land conversion, and urbanisation of natural areas. Transport and mobility infrastructures are a major cause of landscape fragmentation. The Infrastructural Fragmentation Index (IFI) is a common measure of landscape fragmentation due to transport and mobility infrastructures and depends, inter alia, on the occlusion coefficient, which accounts for the obstruction to movement. The values of this coefficient mirror well-established conditions, which depend on type of transport and mobility infrastructure and traffic flow. Lack of data affects its values and generates uncertainty in the measurement of landscape fragmentation. In this study, we develop on a sensitivity analysis, by assessing how IFI varies when the occlusion coefficient changes in the case of six landscape units in Sardinia (Italy) and Andalusia (Spain). Our results demonstrate that the IFI is very sensitive to the elimination of national, provincial, and local roads. In addition, we verified that IFI varies linearly versus the occlusion coefficient, i.e. its elasticity is constant. Thus, we advance that, as the uncertainty cannot be eliminated, the most efficient strategy to reduce these biases is to dismiss the absolute values of IFI and adopt difference-based expressions
- …
