MINARI, PIERLUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.925
EU - Europa 3.735
AS - Asia 2.170
SA - Sud America 383
Continente sconosciuto - Info sul continente non disponibili 125
OC - Oceania 72
AF - Africa 65
Totale 13.475
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.833
IT - Italia 1.423
RU - Federazione Russa 1.053
SG - Singapore 583
CN - Cina 428
HK - Hong Kong 380
BR - Brasile 303
SE - Svezia 296
VN - Vietnam 258
IE - Irlanda 249
KR - Corea 227
DE - Germania 180
UA - Ucraina 148
FI - Finlandia 116
FR - Francia 108
JP - Giappone 95
IN - India 81
AU - Australia 71
CA - Canada 60
GB - Regno Unito 44
CH - Svizzera 38
BD - Bangladesh 29
AR - Argentina 27
TR - Turchia 23
NL - Olanda 19
ES - Italia 17
CI - Costa d'Avorio 14
CO - Colombia 13
ID - Indonesia 13
MX - Messico 12
SC - Seychelles 12
CZ - Repubblica Ceca 10
PL - Polonia 10
PY - Paraguay 10
ZA - Sudafrica 10
EC - Ecuador 8
PH - Filippine 7
UZ - Uzbekistan 7
VE - Venezuela 7
NG - Nigeria 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
JM - Giamaica 3
JO - Giordania 3
NP - Nepal 3
SA - Arabia Saudita 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
BB - Barbados 2
BJ - Benin 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ET - Etiopia 2
GE - Georgia 2
HN - Honduras 2
IL - Israele 2
IR - Iran 2
KG - Kirghizistan 2
LT - Lituania 2
NO - Norvegia 2
PR - Porto Rico 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
TT - Trinidad e Tobago 2
AO - Angola 1
BO - Bolivia 1
BS - Bahamas 1
BW - Botswana 1
BY - Bielorussia 1
CG - Congo 1
CY - Cipro 1
DM - Dominica 1
EE - Estonia 1
EU - Europa 1
GF - Guiana Francese 1
KE - Kenya 1
MD - Moldavia 1
MU - Mauritius 1
MY - Malesia 1
NI - Nicaragua 1
NZ - Nuova Zelanda 1
PA - Panama 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SV - El Salvador 1
TH - Thailandia 1
TJ - Tagikistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 13.352
Salva come PNG Salva come JPEG
Città #
Santa Clara 3.296
Singapore 433
Hong Kong 303
Chandler 281
Jacksonville 251
Dublin 249
Milan 230
Seoul 227
Ashburn 217
San Jose 209
Florence 202
Fairfield 195
Dallas 139
Council Bluffs 110
Hefei 101
Cambridge 99
Woodbridge 96
Rome 94
Wilmington 94
Princeton 88
Ho Chi Minh City 82
Tokyo 78
Seattle 77
Lauterbourg 75
Melbourne 70
The Dalles 67
Boston 65
Houston 65
Los Angeles 64
Hanoi 62
Mumbai 60
Beijing 59
Buffalo 51
Ann Arbor 49
Moscow 48
Helsinki 46
Boardman 41
Bern 36
Medford 34
Columbus 28
Munich 28
Bologna 25
San Diego 24
Naples 22
Phoenix 22
Turin 22
New York 21
Prato 19
São Paulo 19
Da Nang 18
Rio de Janeiro 18
Palermo 17
Chicago 16
Clifton 16
Izmir 16
Livorno 15
Abidjan 14
Figino 14
Verona 14
Cagliari 13
Pisa 13
Bari 12
Hillsboro 12
Norwalk 12
Redondo Beach 12
West Jordan 12
Altamura 11
Brasília 11
Frankfurt Am Main 11
Hải Dương 11
Sesto Fiorentino 11
Siena 11
Belo Horizonte 10
Haiphong 10
Kent 10
Lawrence 10
Auburn Hills 9
Brooklyn 9
Frankfurt am Main 9
Genoa 9
Gesualdo 9
Guangzhou 9
Monza 9
Reggio Emilia 9
Andover 8
Barcelona 8
Berlin 8
Montreal 8
San Francisco 8
The Bronx 8
Toronto 8
Utsunomiya 8
Vicenza 8
Atlanta 7
Catania 7
Johannesburg 7
Lucca 7
Philadelphia 7
Redwood City 7
Scandicci 7
Totale 8.816
Salva come PNG Salva come JPEG
Nome #
Introduzione alla logica. Linguaggio, significato, argomentazione 608
Intermediate Logics. An historical outline and a guided bibliography 237
Analytic combinatory calculi and the elimination of transitivity 220
Labeled sequent calculi for modal logics and implicit contractions 213
Bibliografia di Ettore Casari 206
Intermediate logics with the same disjunctionless fragment as intuitionistic logic 206
Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic 198
Analytic proof systems for λ-calculus:the elimination of transitivity, and why it matters 196
A note on a subsystem of intuitionistic logic with constant domains 194
Intermediate predicate logics determined by ordinals 193
Disjunction and existence properties in intermediate predicate logics 193
A solution to Curry and Hindley's problem on combinatory strong reduction 190
Logic and Foundations of mathematics 185
Completeness theorems for some intermediate predicate calculi 184
Uniform inseparability in Explicit Mathematics 178
Logiche intermedie e logica comparativa nelle ricerche di Ettore Casari 176
Infinitary Modal Logic and Generalized Kripke Semantics 174
Husserl on Schroeder's View of Logic 174
Husserl and Boole 172
The property (HD) in intermediate logics. A partial solution of a problem of H. Ono 169
Indagini semantiche sulle logiche intermedie proposizionali 168
Analytic equational proof systems for Combinatory logic and λ-Calculus: a survey 165
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." 163
Sulla teoria della dimostrazione: la "Proof Theory" di Schuette 162
Quasilinear posets and some subsystems of Dummett's LC 154
A note on the logic of distributed knowledge 153
Husserl and Schroeder 151
A note on Lukasiewicz’s three-valued logic 150
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes 150
Review of "Ferreira, Gilda Rasiowa-Harrop disjunction property. Studia Logica 105 (2017), no. 3, 649–664" 148
Becker's rule is not Becker's rule 146
Review of "Petrukhin, Yaroslav, S5-style non-standard modalities in a hypersequent framework. Log. Log. Philos. 31, no. 3, 427–456" 145
On the semantics of comparative logic 143
Presentazione 141
Review of: Fleury, M.-R.; Quatrini, M. A mixed $\lambda$-calculus. Studia Logica 87 (2007), no. 2-3, 269--294. 141
Proof-theoretical methods in combinatory logic and lambda-calculus 139
The incompleteness of the quantificational logic of intuitionistic Zermelo-Fraenkel set theory 138
Review of: Robles, Gemma, "Admissibility of Ackermann's rule delta in relevant logics" Log. Log. Philos 22 (2013), no. 4, 411–427. 137
Oskar Becker on Modalities 137
Le dimostrazioni di non-contraddittorietà dell'aritmetica 133
Review Essay: Predicate logical extensions of some subintuitionistic logics (Zimmermann, Ernst, Studia Logica 91 (2009), no. 1, 131–138). 133
Review Essay of: Dyckhoff, Roy; Negri, Sara. Proof analysis in intermediate logics. Arch. Math. Logic 51 (2012), no. 1-2, 71–92. 133
On the algebraic and the kripkean logical consequence relation for ortho-modular quantum logic 133
Logica 131
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). 131
La verità è definibile? 130
Kripke definable ordinals 127
Review of "Ilić, Mirjana, A note on an alternative Gentzenization of $\ssf {RW}^\circ_+$. MLQ Math. Log. Q. 67, no. 2, 186--192" 126
Negation-free intermediate predicate logics 126
Modello 126
Kalmar's proof of the undecidability of first-order predicate logic 126
Metalinguaggio 125
Review of: "Fjellstad, Andreas Non-classical elegance for sequent calculus enthusiasts. Studia Logica 105 (2017), no. 1, 93–119." 125
Review of "Venturi, Giorgio; Teixeira Yago Pedro, Tableaux for essence and contingency. Log. J. IGPL 29, no. 5, 719--738" 124
Review Essay: The functional interpretation of logical deduction (de Queiroz et al. 2012). 124
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" 122
Review Essay: Cut elimination for S4n and K4n with the central agent axiom (Andrikonis, J. Lith. Math. J. 49 (2009), no. 2, 123–139). 122
Review Essay: A note on ultraproducts of Veltman models (M. Vuković, Glas. Mat. Ser. III 46(66) (2011), no. 1, 7–10). 122
Matematica, filosofia della 121
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" 118
Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques 118
Review of: Połacik, Tomasz.Back and forth between first-order Kripke models.Log. J. IGPL 16 (2008), no. 4, 335–355. 118
Review Essay: Cut elimination and decidability for classical Lambek logic (Isakovi´c Ili´c, Mirjana, J. Logic Comput. 18 (2008), no. 1, 171–199). 118
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 118
Review Essay: K. Terui, Which structural rules admit cut elimination? An algebraic criterion. J. Symbolic Logic 72 (2007), no. 3, 738--754. 118
Oskar Becker and the Modal Translation of Intuitionistic Logic 118
Numero 117
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). 117
Review of: Guerrini, Stefano; Masini, Andrea Proofs, tests and continuation passing style. ACM Trans. Comput. Log. 10 (2009), no. 2, Art. 12, 34 pp. 117
Review of "D'Agostino, Marcello; Piazza, Mario; Pulcini, Gabriele A logical calculus for controlled monotonicity. J. Appl. Log. 12 (2014), no. 4, 558–569." 114
Theories of types and names with positive stratified comprehension 114
Review Essay: Connected modal logics (G. Bezhanishvili, D. Gabelai, Arch. Math. Logic 50 (2011), no. 3-4, 287–317). 112
Review Essay: Sequent calculi for some strict implication logics (Ishigaki, Ryo, Kashima, Ryo, . Log. J. IGPL 16 (2008), no. 2, 155--174). 111
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). 111
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis 111
Review of: Dyckhoff, Roy; Lengrand, St´ephaneCall-by-value lambda-calculus and LJQ. J. Logic Comput. 17 (2007), no. 6, 1109–1134. 110
Review Essay: On constructive connectives and systems (A. Avron, O. Lahav, Log. Methods Comput. Sci. 6 (2010), no. 4, 4:12). 110
RE Fleischmann, Jonathan Syntactic preservation theorems for intuitionistic predicate logic. Notre Dame J. Form. Log. 51 (2010), no. 2, 225–245. 109
Review of "Standefer, Shawn, Proof theory for functional modal logic. Studia Logica 106 (2018), no. 1, 49–84" 109
Review of: Studer, Thomas. On the proof theory of the modal mu-calculus. Studia Logica 89 (2008), no. 3, 343–363. 109
Review of: Standefer, S., Trees for E, Log. J. IGPL 26 (2018), no. 3, 300–315. 109
Review of: Liang, Chuck; Miller, Dale A focused approach to combining logics. Ann. Pure Appl. Logic 162 (2011), no. 9, 679–697. 108
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. 108
Review Essay: Subformula and separation properties in natural deduction via small Kripke models (P. Milne, Rev. Symb. Log. 3 (2010), no. 2, 175–227). 106
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). 105
Review of: "Lyon, Tim, On the correspondence between nested calculi and semantic systems for intuitionistic logics. J. Logic Comput. 31, no. 1, 213--265." 104
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). 103
Review of: Lengrand, Stéphane; Miquel, Alexandre. Classical Fω, orthogonality and symmetric candidates. Ann. Pure Appl. Logic 153 (2008), no. 1-3, 3–20. 101
Review Essay: Non-deterministic semantics for dynamic topological logic (Fernandez, David, Ann. Pure Appl. Logic 157 (2009), no. 2-3, 110–121). 100
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). 100
Review of "Lyaletski, Alexander Admissibility, compatibility, and deducibility in first-order sequent logics. Comput. Sci. J. Moldova 23 (2015), no. 3, 289–303" 96
Review of "van Ditmarsch, Hans Five funny bisimulations. The facts matter, 23–49, Tributes, 25, Coll. Publ., London, 2015." 96
Review Essay: K. Brünnler, Deep sequent systems for modal logic, Arch. Math. Logic 48 (2009), no. 6, 551–577. 93
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, 45
Mally’s Deontic Logic 34
On Some Critical Points of Bolzano’s Theory of Alethic Modalities 33
Totale 13.475
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.700
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 32.700
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022396 0 0 0 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/20263.331 301 507 440 287 239 109 401 152 210 125 60 500
2026/2027710 122 161 376 51 0 0 0 0 0 0 0 0
Totale 13.475