IRIS
PULCINI, GABRIELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 346
EU - Europa 170
AS - Asia 16
SA - Sud America 11
OC - Oceania 8
Totale 551
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 346
IE - Irlanda 66
IT - Italia 55
GB - Regno Unito 13
CN - Cina 12
AU - Australia 8
CO - Colombia 7
DE - Germania 7
FR - Francia 7
PT - Portogallo 5
SE - Svezia 5
AT - Austria 3
BR - Brasile 3
BG - Bulgaria 2
FI - Finlandia 2
NL - Olanda 2
AR - Argentina 1
IL - Israele 1
IM - Isola di Man 1
JP - Giappone 1
NO - Norvegia 1
RO - Romania 1
SG - Singapore 1
TR - Turchia 1
Totale 551
Salva come PNG Salva come JPEG
Città #
Dublin 66
Medford 53
Fairfield 51
Seattle 26
Wilmington 26
Houston 25
Lawrence 24
New York 22
Ashburn 16
Woodbridge 14
San Diego 13
Cambridge 11
Ann Arbor 10
Engelhard 10
Beijing 9
Rome 8
Santiago de Cali 7
Milan 6
Washington 6
Pisa 5
Falls Church 4
Florence 4
Garden City 4
Redwood City 4
Hounslow 3
Kilburn 3
Knoxville 3
Scuola 3
Turin 3
Vienna 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
Amsterdam 1
Atlanta 1
Bergen 1
Berlin 1
Beverwijk 1
Boardman 1
Bucharest 1
City Bell 1
Creede 1
Dallas 1
Frankfurt am Main 1
Geislingen an der Steige 1
Helsinki 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 495
Salva come PNG Salva come JPEG
Nome #
Refutation Systems : An Overview and Some Applications to Philosophical Logics 53
Adding logic to the toolbox of molecular biology 46
A note on cut-elimination for classical propositional logic 45
Unifying logics via context-sensitiveness 42
The arithmetical nature of the Hydra Game 36
Paraconsistency in classical logic 34
Fractional semantics for classical logic 33
A Deflationary Account of the Truth of the Gödel Sentence G 32
A geometrical procedure for computing relaxation 29
Cut-elimination and deductive polarization in complementary classical logic 27
Molecular Biology Meets Logic : Context-Sensitiveness in Focus 25
A logical calculus for controlled monotonicity 24
Rewriting systems for the surface classification theorem 22
What’s so Special About the Gödel Sentence G? 20
Classical logic through refutation and rejection 19
Towards an operational view of purity 19
What is refutation? 16
Fractional-Valued Modal Logic and Soft Bilateralism 15
Fractional-valued modal logic 15
A logic of non-monotonic interactions 15
Truth, Existence and Explanation 14
Strange case of Dr. Soundness and Mr. Consistency 13
The “Extraction” of the Principles of Construction in Number Theory : Mathematical induction vs indefinite descent. 13
Cut elimination by unthreading 10
Linear logic in a refutational setting 10
Dimostrazioni diverse di uno stesso teorema: loro importanza didattica 10
Uniqueness of axiomatic extensions of cut-free classical propositional logic 10
How to go non-monotonic through context-sensitiveness 9
Abduction as Deductive Saturation: a Proof-Theoretic Inquiry 8
Complementary Proof Nets for Classical Logic 7
Totale 671
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.969
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 5.969
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/2024108 4 4 37 2 8 26 9 3 5 8 2 0
Totale 671