IRIS
PULCINI, GABRIELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 352
EU - Europa 210
AS - Asia 37
SA - Sud America 11
OC - Oceania 8
AF - Africa 1
Totale 619
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 352
IE - Irlanda 66
IT - Italia 57
DE - Germania 25
SG - Singapore 22
GB - Regno Unito 13
CN - Cina 12
FI - Finlandia 9
FR - Francia 9
AU - Australia 8
CO - Colombia 7
RU - Federazione Russa 6
AT - Austria 5
PT - Portogallo 5
SE - Svezia 5
BR - Brasile 3
BG - Bulgaria 2
CH - Svizzera 2
NL - Olanda 2
AR - Argentina 1
BE - Belgio 1
EG - Egitto 1
IL - Israele 1
IM - Isola di Man 1
JP - Giappone 1
NO - Norvegia 1
RO - Romania 1
TR - Turchia 1
Totale 619
Salva come PNG Salva come JPEG
Città #
Dublin 66
Medford 53
Fairfield 51
Seattle 26
Wilmington 26
Houston 25
Lawrence 24
New York 24
Ashburn 16
Singapore 16
Woodbridge 14
San Diego 13
Cambridge 11
Ann Arbor 10
Engelhard 10
Beijing 9
Helsinki 8
Milan 8
Rome 8
Washington 8
Santiago de Cali 7
Moscow 6
Pisa 5
Vienna 5
Falls Church 4
Florence 4
Garden City 4
Hamburg 4
Redwood City 4
Hounslow 3
Kilburn 3
Knoxville 3
Nuremberg 3
Scuola 3
Turin 3
Fornacette 2
Giulianova 2
London 2
Lucca 2
Mountain View 2
Parma 2
Rio de Janeiro 2
Saint-Martin-d'Hères 2
Teramo 2
Villejuif 2
Zaozhuang 2
Zlatitsa 2
Zurich 2
Alexandria 1
Amsterdam 1
Atlanta 1
Bergen 1
Berlin 1
Beverwijk 1
Boardman 1
Brussels 1
Bucharest 1
City Bell 1
Creede 1
Dallas 1
Frankfurt am Main 1
Geislingen an der Steige 1
Isle of Man 1
Istanbul 1
Las Vegas 1
Lisbon 1
Medolla 1
Miami 1
Modi‘in Makkabbim Re‘ut 1
Munich 1
Mülheim 1
Rocca Di Papa 1
Santa Maria a Monte 1
Stuttgart 1
São Paulo 1
Tokyo 1
Verona 1
Wuhan 1
Totale 543
Salva come PNG Salva come JPEG
Nome #
Refutation Systems : An Overview and Some Applications to Philosophical Logics 58
A note on cut-elimination for classical propositional logic 52
Adding logic to the toolbox of molecular biology 48
Unifying logics via context-sensitiveness 42
Paraconsistency in classical logic 37
The arithmetical nature of the Hydra Game 37
A Deflationary Account of the Truth of the Gödel Sentence G 34
Fractional semantics for classical logic 34
A geometrical procedure for computing relaxation 31
Cut-elimination and deductive polarization in complementary classical logic 29
Molecular Biology Meets Logic : Context-Sensitiveness in Focus 27
A logical calculus for controlled monotonicity 26
Towards an operational view of purity 24
Rewriting systems for the surface classification theorem 23
Classical logic through refutation and rejection 23
What’s so Special About the Gödel Sentence G? 21
What is refutation? 19
Fractional-valued modal logic 19
Fractional-Valued Modal Logic and Soft Bilateralism 17
A logic of non-monotonic interactions 17
The “Extraction” of the Principles of Construction in Number Theory : Mathematical induction vs indefinite descent. 15
Truth, Existence and Explanation 15
Strange case of Dr. Soundness and Mr. Consistency 14
Cut elimination by unthreading 12
Linear logic in a refutational setting 12
Dimostrazioni diverse di uno stesso teorema: loro importanza didattica 11
Uniqueness of axiomatic extensions of cut-free classical propositional logic 11
How to go non-monotonic through context-sensitiveness 11
Abduction as Deductive Saturation: a Proof-Theoretic Inquiry 11
Complementary Proof Nets for Classical Logic 9
Totale 739
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.631
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.631
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021175 0 0 0 0 0 5 105 13 14 17 10 11
2021/2022236 3 8 1 2 5 10 57 9 48 18 9 66
2022/2023152 28 7 0 3 3 50 27 3 2 10 7 12
2023/2024127 4 4 37 2 8 26 9 3 5 8 5 16
2024/202549 49 0 0 0 0 0 0 0 0 0 0 0
Totale 739