1,720,999 research outputs found
Applications of formative processes to the decision problem in set theory
No full textAs part of a project aimed at the implementation of a proof-checker based on the set-theoretic formalism, the decision problem in set theory has been studied very intensively, starting in the late seventies.
Several results have been produced in the first decade of research, giving rise to the novel field of computable set theory. At that point, it already was clear that to face the tremendous amount of technicalities involved in the combination of smaller decidable fragments into larger ones, new techniques were in order.
Such techniques have recently emerged, by a careful analysis of the formation process of disjoint families of sets. This has led to the characterization of suitable decidable conditions for the satisfiability of set-theoretic formulae belonging to specific collections.
In this paper we give an elementary introduction to the formative process technique and discuss some open problems
Decision procedures for elementary sublanguages of set theory. VIII: A semidecision procedure for finite satisfiability of unquantified set-theoretic formulae
No full text
The automation of syllogistic. I: Syllogistic normal form
No full textAbstract“Boole first put forth the problem of Logical Science in its complete generality: Given certain logical premisses or conditions, to determine the description of any class of objects under those conditions.
"Musica", in SCENARI. Semestrale di approfondimento culturale
No full textDall’anno scorso la rivista “Scenari”, settimanale online di approfondimento della casa editrice Mimesis, ha ampliato e arricchito la sua offerta culturale attraverso la creazione e promozione di un’apposita sezione dedicata alla Musica, che si è andata dunque ad affiancare alle sezioni già esistenti di Cinema, Politica, Cultura, Diritti Umani, Economia, Geopolitica e Sociologia. A quasi un anno dall’avvio di quest’avventura, dunque, può risultare opportuno fare un primo bilancio dell’attività che è stata svolta, delle tematiche che sono state toccate, delle direzioni che sono state intraprese. La possibilità di pubblicare sull’edizione cartacea della rivista una ristretta selezione di contributi originariamente pubblicati nell’edizione online rappresenta un’eccellente opportunità in tal senso. Quanto agli argomenti, è facile notare come la nostra attività abbia cercato di coprire il più possibile l’intero spettro della realtà musicale odierna nelle sue molteplici sfaccettature, con una certa predilezione forse per il jazz ma senza mai trascurare sfere come quelle della popular music e dell’avanguardia contemporanea. Mentre, quanto all’approccio generale ai fenomeni musicali e, in collegamento a ciò, alle pratiche di scrittura adottate nell’affrontare tali fenomeni, anche un rapido sguardo agli articoli pubblicati evidenzia chiaramente l’alternanza di approcci “rigorosi”, cioè ad esempio impostati su precisi paradigmi filosofico-culturali o finanche musicologici, ad approcci più “liberi” (senza intendere con ciò un’assenza di stringenza nell’approcciare l’evento musicale, ma semmai un tentativo di accostarsi a quest’ultimo in un modo tale da consentire di coglierne fenomenologicamente, per così dire, il dispiegarsi in libertà)
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
- …
