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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20263.331 301 507 440 287 239 109 401 152 210 125 60 500
2026/2027120 120 0 0 0 0 0 0 0 0 0 0 0
Totale 12.885