MINARI, PIERLUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.251
EU - Europa 3.208
AS - Asia 2.151
SA - Sud America 364
OC - Oceania 72
AF - Africa 65
Continente sconosciuto - Info sul continente non disponibili 2
Totale 12.113
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.199
RU - Federazione Russa 1.053
IT - Italia 915
SG - Singapore 583
CN - Cina 427
HK - Hong Kong 377
SE - Svezia 296
BR - Brasile 291
VN - Vietnam 257
IE - Irlanda 249
KR - Corea 227
DE - Germania 179
UA - Ucraina 148
FI - Finlandia 116
FR - Francia 105
JP - Giappone 95
IN - India 81
AU - Australia 71
GB - Regno Unito 39
CH - Svizzera 37
CA - Canada 30
AR - Argentina 25
TR - Turchia 22
BD - Bangladesh 20
NL - Olanda 18
ES - Italia 15
CI - Costa d'Avorio 14
ID - Indonesia 12
MX - Messico 12
SC - Seychelles 12
CO - Colombia 11
CZ - Repubblica Ceca 10
PY - Paraguay 10
ZA - Sudafrica 10
EC - Ecuador 8
PL - Polonia 8
UZ - Uzbekistan 7
NG - Nigeria 6
PH - Filippine 6
VE - Venezuela 6
CL - Cile 5
IQ - Iraq 5
PK - Pakistan 5
AL - Albania 4
BG - Bulgaria 4
DZ - Algeria 4
MA - Marocco 4
PE - Perù 4
TN - Tunisia 4
UY - Uruguay 4
AZ - Azerbaigian 3
HU - Ungheria 3
JO - Giordania 3
SA - Arabia Saudita 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
BJ - Benin 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ET - Etiopia 2
GE - Georgia 2
IL - Israele 2
IR - Iran 2
KG - Kirghizistan 2
LT - Lituania 2
NP - Nepal 2
SY - Repubblica araba siriana 2
AO - Angola 1
BS - Bahamas 1
BW - Botswana 1
BY - Bielorussia 1
CG - Congo 1
CR - Costa Rica 1
CY - Cipro 1
DM - Dominica 1
EU - Europa 1
JM - Giamaica 1
KE - Kenya 1
MD - Moldavia 1
MU - Mauritius 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PA - Panama 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TH - Thailandia 1
TJ - Tagikistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 12.113
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.280
Singapore 433
Hong Kong 300
Chandler 281
Jacksonville 250
Dublin 249
Seoul 227
Fairfield 194
Florence 186
Ashburn 169
Dallas 134
San Jose 108
Hefei 101
Cambridge 99
Wilmington 94
Woodbridge 94
Princeton 88
Ho Chi Minh City 82
Tokyo 78
Lauterbourg 75
Seattle 74
Melbourne 70
The Dalles 67
Boston 65
Hanoi 62
Houston 61
Mumbai 60
Beijing 59
Los Angeles 54
Buffalo 51
Milan 50
Ann Arbor 49
Moscow 48
Helsinki 46
Boardman 38
Bern 36
Rome 36
Medford 34
Munich 28
San Diego 23
Da Nang 18
New York 18
São Paulo 17
Clifton 16
Izmir 16
Prato 16
Rio de Janeiro 16
Livorno 15
Abidjan 14
Cagliari 13
Pisa 13
Bologna 12
Hillsboro 12
Naples 12
Redondo Beach 12
West Jordan 12
Altamura 11
Brasília 11
Council Bluffs 11
Frankfurt Am Main 11
Hải Dương 11
Sesto Fiorentino 11
Siena 11
Haiphong 10
Kent 10
Lawrence 10
Norwalk 10
Verona 10
Auburn Hills 9
Belo Horizonte 9
Frankfurt am Main 9
Gesualdo 9
Guangzhou 9
Andover 8
Barcelona 8
Berlin 8
Utsunomiya 8
Vicenza 8
Brooklyn 7
Chicago 7
Johannesburg 7
Redwood City 7
Scandicci 7
Abuja 6
Dearborn 6
Lucca 6
Montreal 6
Palermo 6
Pavia 6
Reggio Emilia 6
Asunción 5
Basingstoke 5
Dhaka 5
Dortmund 5
Elk Grove Village 5
Falls Church 5
Monza 5
St Petersburg 5
Sumaré 5
Tashkent 5
Totale 8.104
Salva come PNG Salva come JPEG
Nome #
Introduzione alla logica. Linguaggio, significato, argomentazione 585
Intermediate Logics. An historical outline and a guided bibliography 225
Analytic combinatory calculi and the elimination of transitivity 207
Labeled sequent calculi for modal logics and implicit contractions 204
Intermediate logics with the same disjunctionless fragment as intuitionistic logic 192
Bibliografia di Ettore Casari 191
Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic 184
Intermediate predicate logics determined by ordinals 182
A solution to Curry and Hindley's problem on combinatory strong reduction 180
Disjunction and existence properties in intermediate predicate logics 179
A note on a subsystem of intuitionistic logic with constant domains 177
Logic and Foundations of mathematics 174
Analytic proof systems for λ-calculus:the elimination of transitivity, and why it matters 174
Uniform inseparability in Explicit Mathematics 166
Completeness theorems for some intermediate predicate calculi 163
Logiche intermedie e logica comparativa nelle ricerche di Ettore Casari 160
The property (HD) in intermediate logics. A partial solution of a problem of H. Ono 158
Analytic equational proof systems for Combinatory logic and λ-Calculus: a survey 158
Infinitary Modal Logic and Generalized Kripke Semantics 155
Essay review of "Bimbó, Katalin Proof theory. Sequent calculi and related formalisms. Discrete Mathematics and its Applications (Boca Raton). CRC Press, Boca Raton, FL, 2015. x+376 pp." 155
Indagini semantiche sulle logiche intermedie proposizionali 149
Husserl on Schroeder's View of Logic 147
Husserl and Boole 146
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes 144
Quasilinear posets and some subsystems of Dummett's LC 142
Sulla teoria della dimostrazione: la "Proof Theory" di Schuette 141
Becker's rule is not Becker's rule 139
A note on Lukasiewicz’s three-valued logic 138
Presentazione 137
Husserl and Schroeder 137
Review of "Petrukhin, Yaroslav, S5-style non-standard modalities in a hypersequent framework. Log. Log. Philos. 31, no. 3, 427–456" 135
Proof-theoretical methods in combinatory logic and lambda-calculus 130
A note on the logic of distributed knowledge 130
Le dimostrazioni di non-contraddittorietà dell'aritmetica 128
The incompleteness of the quantificational logic of intuitionistic Zermelo-Fraenkel set theory 127
Oskar Becker on Modalities 126
On the semantics of comparative logic 125
Review of: Fleury, M.-R.; Quatrini, M. A mixed $\lambda$-calculus. Studia Logica 87 (2007), no. 2-3, 269--294. 124
La verità è definibile? 123
Logica 122
On the algebraic and the kripkean logical consequence relation for ortho-modular quantum logic 122
Review of "Ferreira, Gilda Rasiowa-Harrop disjunction property. Studia Logica 105 (2017), no. 3, 649–664" 121
Review of: "Fjellstad, Andreas Non-classical elegance for sequent calculus enthusiasts. Studia Logica 105 (2017), no. 1, 93–119." 119
Review of "Ilić, Mirjana, A note on an alternative Gentzenization of $\ssf {RW}^\circ_+$. MLQ Math. Log. Q. 67, no. 2, 186--192" 117
Kripke definable ordinals 116
Review of "Sawasaki, Takahiro; Sano, Katsuhiko, Frame definability, canonicity and cut elimination in common sense modal predicate logics. J. Logic Comput. 31, no. 8, 1933--1958" 115
Review of "Venturi, Giorgio; Teixeira Yago Pedro, Tableaux for essence and contingency. Log. J. IGPL 29, no. 5, 719--738" 115
Review Essay of: Dyckhoff, Roy; Negri, Sara. Proof analysis in intermediate logics. Arch. Math. Logic 51 (2012), no. 1-2, 71–92. 115
Review Essay: The functional interpretation of logical deduction (de Queiroz et al. 2012). 114
Review of "Witczak, Tomasz, Topological and multi-topological frames in the context of intuitionistic modal logic. Bull. Sect. Logic Univ. Łódź 48, no. 3, 187--205" 113
Negation-free intermediate predicate logics 113
Modello 113
Review Essay: Predicate logical extensions of some subintuitionistic logics (Zimmermann, Ernst, Studia Logica 91 (2009), no. 1, 131–138). 112
Matematica, filosofia della 111
Review Essay: Cut elimination for S4n and K4n with the central agent axiom (Andrikonis, J. Lith. Math. J. 49 (2009), no. 2, 123–139). 111
Review of: Robles, Gemma, "Admissibility of Ackermann's rule delta in relevant logics" Log. Log. Philos 22 (2013), no. 4, 411–427. 111
Oskar Becker and the Modal Translation of Intuitionistic Logic 111
Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques 110
Metalinguaggio 110
Review Essay: The lambda-calculus and the unity of structural proof theory (J. Espírito Santo, Theory Comput. Syst. 45 (2009), no. 4, 963–994). 110
Review Essay: Cut elimination and decidability for classical Lambek logic (Isakovi´c Ili´c, Mirjana, J. Logic Comput. 18 (2008), no. 1, 171–199). 108
Review of: Połacik, Tomasz.Back and forth between first-order Kripke models.Log. J. IGPL 16 (2008), no. 4, 335–355. 107
Review Essay: Star-based four-valued Kripke-style semantics for some neighbors of E, R, T. (E. Yang, Logique et Anal. (N.S.) 52 (2009), no. 207, 255–280). 107
Kalmar's proof of the undecidability of first-order predicate logic 107
Numero 106
Theories of types and names with positive stratified comprehension 106
Review of: Gabbay, Murdoch J.; Mulligan, Dominic P. Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. Inform. and Comput. 208 (2010), no. 3, 230–258 105
Review of "D'Agostino, Marcello; Piazza, Mario; Pulcini, Gabriele A logical calculus for controlled monotonicity. J. Appl. Log. 12 (2014), no. 4, 558–569." 105
Review of: Dyckhoff, Roy; Lengrand, St´ephaneCall-by-value lambda-calculus and LJQ. J. Logic Comput. 17 (2007), no. 6, 1109–1134. 104
Review Essay: A note on ultraproducts of Veltman models (M. Vuković, Glas. Mat. Ser. III 46(66) (2011), no. 1, 7–10). 104
Review of: W. de Campos Sanz, A note on Gentzen's LJ and NJ systems isomorphism. Log. J. IGPL 15 (2007), no. 5-6, 767--774. 102
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis 102
Review Essay: Sequent calculi for some strict implication logics (Ishigaki, Ryo, Kashima, Ryo, . Log. J. IGPL 16 (2008), no. 2, 155--174). 101
Review of: "Lyon, Tim, On the correspondence between nested calculi and semantic systems for intuitionistic logics. J. Logic Comput. 31, no. 1, 213--265." 100
Review of: Guerrini, Stefano; Masini, Andrea Proofs, tests and continuation passing style. ACM Trans. Comput. Log. 10 (2009), no. 2, Art. 12, 34 pp. 100
Review Essay: On constructive connectives and systems (A. Avron, O. Lahav, Log. Methods Comput. Sci. 6 (2010), no. 4, 4:12). 99
Review Essay: Connected modal logics (G. Bezhanishvili, D. Gabelai, Arch. Math. Logic 50 (2011), no. 3-4, 287–317). 99
Review of "Standefer, Shawn, Proof theory for functional modal logic. Studia Logica 106 (2018), no. 1, 49–84" 98
Review Essay: K. Terui, Which structural rules admit cut elimination? An algebraic criterion. J. Symbolic Logic 72 (2007), no. 3, 738--754. 98
Review of: Studer, Thomas. On the proof theory of the modal mu-calculus. Studia Logica 89 (2008), no. 3, 343–363. 98
Review of: Standefer, S., Trees for E, Log. J. IGPL 26 (2018), no. 3, 300–315. 98
Review Essay: A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language (Gabbay, Michael. J. Symbolic Logic 76 (2011), no. 2, 673–699). 96
Review Essay: Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle (Skvortsov, Dmitrij, Studia Logica 100 (2012), no. 1-2, 361–383). 96
Review of: Liang, Chuck; Miller, Dale A focused approach to combining logics. Ann. Pure Appl. Logic 162 (2011), no. 9, 679–697. 95
Review Essay: Subformula and separation properties in natural deduction via small Kripke models (P. Milne, Rev. Symb. Log. 3 (2010), no. 2, 175–227). 95
Review Essay: Proof-finding algorithms for classical and subclassical propositional logics (M. Bunder, R. M. Rizkalla, Notre Dame J. Form. Log. 50 (2009), no. 3, 261–273). 95
Review Essay: A term assignment for polarized bi-intuitionistic logic and its strong normalization (Biasi, Corrado; Aschieri, Federico, Fund. Inform. 84 (2008), no. 2, 185–205). 92
RE Fleischmann, Jonathan Syntactic preservation theorems for intuitionistic predicate logic. Notre Dame J. Form. Log. 51 (2010), no. 2, 225–245. 90
Review of "Lyaletski, Alexander Admissibility, compatibility, and deducibility in first-order sequent logics. Comput. Sci. J. Moldova 23 (2015), no. 3, 289–303" 90
Review Essay: K. Brünnler, Deep sequent systems for modal logic, Arch. Math. Logic 48 (2009), no. 6, 551–577. 87
Review of "van Ditmarsch, Hans Five funny bisimulations. The facts matter, 23–49, Tributes, 25, Coll. Publ., London, 2015." 86
Review Essay: Non-deterministic semantics for dynamic topological logic (Fernandez, David, Ann. Pure Appl. Logic 157 (2009), no. 2-3, 110–121). 86
Review of: Lengrand, Stéphane; Miquel, Alexandre. Classical Fω, orthogonality and symmetric candidates. Ann. Pure Appl. Logic 153 (2008), no. 1-3, 3–20. 83
Reflecting and unfolding, in: Ademollo, F., Amerini, F. and De Risi, V. (editors). Thinking and Calculating: Essays in Logic, its History and its Philosophical Applications in Honour of Massimo Mugnai, pp. 1-15, Cham: Springer International Publishing, ISBN:9783030973025, 32
On Some Critical Points of Bolzano’s Theory of Alethic Modalities 13
Mally’s Deontic Logic 8
Totale 12.236
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.393
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 28.393
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021109 0 0 0 0 0 0 0 0 0 0 40 69
2021/2022509 8 68 37 51 13 13 10 28 23 9 97 152
2022/20231.146 132 54 58 113 111 242 114 63 99 35 63 62
2023/2024515 24 62 111 29 38 54 8 98 19 47 13 12
2024/20255.374 120 370 237 444 2.174 1.415 40 124 202 64 96 88
2025/20262.802 301 507 440 287 239 109 401 152 210 125 31 0
Totale 12.236