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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021451 0 0 0 0 0 106 37 80 45 74 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/2024531 24 62 111 29 38 54 8 110 22 48 13 12
2024/20255.374 120 370 237 444 2.174 1.415 40 124 202 64 96 88
2025/20261.797 301 507 440 287 239 23 0 0 0 0 0 0
Totale 11.247