MINARI, PIERLUIGI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.294
EU - Europa 2.569
AS - Asia 485
AF - Africa 28
SA - Sud America 3
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 6.381
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.279
IT - Italia 764
RU - Federazione Russa 761
SE - Svezia 295
IE - Irlanda 249
SG - Singapore 167
DE - Germania 150
UA - Ucraina 141
HK - Hong Kong 140
FI - Finlandia 74
IN - India 67
CN - Cina 52
CH - Svizzera 37
JP - Giappone 33
GB - Regno Unito 27
FR - Francia 24
TR - Turchia 18
CA - Canada 15
CI - Costa d'Avorio 14
ES - Italia 14
SC - Seychelles 12
CZ - Repubblica Ceca 8
NL - Olanda 8
PL - Polonia 6
HU - Ungheria 3
VE - Venezuela 3
GE - Georgia 2
KR - Corea 2
LT - Lituania 2
AL - Albania 1
AT - Austria 1
AU - Australia 1
BG - Bulgaria 1
BY - Bielorussia 1
EU - Europa 1
IL - Israele 1
IR - Iran 1
MU - Mauritius 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
TJ - Tagikistan 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 6.381
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.057
Chandler 281
Dublin 249
Jacksonville 249
Fairfield 194
Florence 152
Singapore 128
Cambridge 100
Wilmington 94
Woodbridge 94
Princeton 88
Ashburn 82
Seattle 72
Boston 65
Hong Kong 64
Mumbai 58
Houston 57
Ann Arbor 49
Milan 44
Boardman 37
Bern 36
Medford 34
Beijing 33
Tokyo 24
Moscow 23
San Diego 23
Munich 22
Rome 19
Prato 17
Izmir 16
Abidjan 14
Cagliari 13
Hillsboro 12
West Jordan 12
Altamura 11
Frankfurt Am Main 11
Sesto Fiorentino 11
Siena 11
Lawrence 10
Livorno 10
Los Angeles 10
Norwalk 10
Verona 10
Auburn Hills 9
Gesualdo 9
Andover 8
Barcelona 8
New York 8
Utsunomiya 8
Redwood City 7
Scandicci 7
Dearborn 6
Pavia 6
Pisa 6
Bologna 5
Dortmund 5
Falls Church 5
Helsinki 5
Monza 5
Palermo 5
St Petersburg 5
Vicenza 5
Berlin 4
Bibbiena 4
Calcinaia 4
Monsummano Terme 4
Montréal 4
Old Bridge 4
Padova 4
Pescara 4
Thiene 4
Utrecht 4
Yubileyny 4
Asti 3
Bagno A Ripoli 3
Budapest 3
Campi Bisenzio 3
Catania 3
Desio 3
Empoli 3
Englishtown 3
Fiesole 3
Genoa 3
Laurel 3
Lucca 3
Madrid 3
Marco 3
Naples 3
Nürnberg 3
Osnago 3
Perugia 3
Polska 3
Raleigh 3
Scuola 3
Tappahannock 3
Toronto 3
Tübingen 3
Urbana 3
Witten 3
Arezzo 2
Totale 3.852
Salva come PNG Salva come JPEG
Nome #
Introduzione alla logica. Linguaggio, significato, argomentazione 422
Intermediate Logics. An historical outline and a guided bibliography 150
Labeled sequent calculi for modal logics and implicit contractions 145
Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic 125
Intermediate logics with the same disjunctionless fragment as intuitionistic logic 122
Analytic combinatory calculi and the elimination of transitivity 121
Intermediate predicate logics determined by ordinals 114
Bibliografia di Ettore Casari 112
Logic and Foundations of mathematics 111
Uniform inseparability in Explicit Mathematics 110
A note on a subsystem of intuitionistic logic with constant domains 104
Disjunction and existence properties in intermediate predicate logics 104
Completeness theorems for some intermediate predicate calculi 102
A solution to Curry and Hindley's problem on combinatory strong reduction 99
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes 97
The property (HD) in intermediate logics. A partial solution of a problem of H. Ono 96
Analytic equational proof systems for Combinatory logic and λ-Calculus: a survey 92
Quasilinear posets and some subsystems of Dummett's LC 91
Sulla teoria della dimostrazione: la "Proof Theory" di Schuette 90
Analytic proof systems for λ-calculus:the elimination of transitivity, and why it matters 89
Indagini semantiche sulle logiche intermedie proposizionali 84
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." 83
Proof-theoretical methods in combinatory logic and lambda-calculus 81
Infinitary Modal Logic and Generalized Kripke Semantics 77
On the semantics of comparative logic 77
Logiche intermedie e logica comparativa nelle ricerche di Ettore Casari 77
Review of: Fleury, M.-R.; Quatrini, M. A mixed $\lambda$-calculus. Studia Logica 87 (2007), no. 2-3, 269--294. 76
A note on Lukasiewicz’s three-valued logic 73
Le dimostrazioni di non-contraddittorietà dell'aritmetica 72
Logica 72
Kripke definable ordinals 72
The incompleteness of the quantificational logic of intuitionistic Zermelo-Fraenkel set theory 71
Husserl on Schroeder's View of Logic 71
Husserl and Boole 71
La verità è definibile? 66
Husserl and Schroeder 66
Theories of types and names with positive stratified comprehension 66
Review Essay of: Dyckhoff, Roy; Negri, Sara. Proof analysis in intermediate logics. Arch. Math. Logic 51 (2012), no. 1-2, 71–92. 64
Review of: Robles, Gemma, "Admissibility of Ackermann's rule delta in relevant logics" Log. Log. Philos 22 (2013), no. 4, 411–427. 64
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). 63
Modello 62
On the algebraic and the kripkean logical consequence relation for ortho-modular quantum logic 62
Negation-free intermediate predicate logics 60
Review of: Połacik, Tomasz.Back and forth between first-order Kripke models.Log. J. IGPL 16 (2008), no. 4, 335–355. 60
Model theoretical methods in Kripke's semantics: Loewenheim-Skolem-Tarski type techniques 59
Matematica, filosofia della 59
Numero 59
A note on the logic of distributed knowledge 59
Review Essay: K. Terui, Which structural rules admit cut elimination? An algebraic criterion. J. Symbolic Logic 72 (2007), no. 3, 738--754. 59
Review Essay: Predicate logical extensions of some subintuitionistic logics (Zimmermann, Ernst, Studia Logica 91 (2009), no. 1, 131–138). 58
Becker's rule is not Becker's rule 57
Review of: Dyckhoff, Roy; Lengrand, St´ephaneCall-by-value lambda-calculus and LJQ. J. Logic Comput. 17 (2007), no. 6, 1109–1134. 57
Review Essay: Cut elimination and decidability for classical Lambek logic (Isakovi´c Ili´c, Mirjana, J. Logic Comput. 18 (2008), no. 1, 171–199). 56
Metalinguaggio 55
Review Essay: Sequent calculi for some strict implication logics (Ishigaki, Ryo, Kashima, Ryo, . Log. J. IGPL 16 (2008), no. 2, 155--174). 55
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 54
Review Essay: On constructive connectives and systems (A. Avron, O. Lahav, Log. Methods Comput. Sci. 6 (2010), no. 4, 4:12). 54
Review Essay: Cut elimination for S4n and K4n with the central agent axiom (Andrikonis, J. Lith. Math. J. 49 (2009), no. 2, 123–139). 53
Review Essay: Subformula and separation properties in natural deduction via small Kripke models (P. Milne, Rev. Symb. Log. 3 (2010), no. 2, 175–227). 52
Review Essay: A note on ultraproducts of Veltman models (M. Vuković, Glas. Mat. Ser. III 46(66) (2011), no. 1, 7–10). 51
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. 51
Review of: Guerrini, Stefano; Masini, Andrea Proofs, tests and continuation passing style. ACM Trans. Comput. Log. 10 (2009), no. 2, Art. 12, 34 pp. 50
Review of: Studer, Thomas. On the proof theory of the modal mu-calculus. Studia Logica 89 (2008), no. 3, 343–363. 50
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). 50
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). 49
Review Essay: The functional interpretation of logical deduction (de Queiroz et al. 2012). 49
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). 48
Review of "D'Agostino, Marcello; Piazza, Mario; Pulcini, Gabriele A logical calculus for controlled monotonicity. J. Appl. Log. 12 (2014), no. 4, 558–569." 48
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). 48
Review Essay: Connected modal logics (G. Bezhanishvili, D. Gabelai, Arch. Math. Logic 50 (2011), no. 3-4, 287–317). 47
Oskar Becker on Modalities 47
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). 47
Review of: Liang, Chuck; Miller, Dale A focused approach to combining logics. Ann. Pure Appl. Logic 162 (2011), no. 9, 679–697. 46
Review Essay: Non-deterministic semantics for dynamic topological logic (Fernandez, David, Ann. Pure Appl. Logic 157 (2009), no. 2-3, 110–121). 44
Presentazione 43
Review Essay: K. Brünnler, Deep sequent systems for modal logic, Arch. Math. Logic 48 (2009), no. 6, 551–577. 43
Review of "Lyaletski, Alexander Admissibility, compatibility, and deducibility in first-order sequent logics. Comput. Sci. J. Moldova 23 (2015), no. 3, 289–303" 42
RE Fleischmann, Jonathan Syntactic preservation theorems for intuitionistic predicate logic. Notre Dame J. Form. Log. 51 (2010), no. 2, 225–245. 41
Review of: Standefer, S., Trees for E, Log. J. IGPL 26 (2018), no. 3, 300–315. 41
Review of: Lengrand, Stéphane; Miquel, Alexandre. Classical Fω, orthogonality and symmetric candidates. Ann. Pure Appl. Logic 153 (2008), no. 1-3, 3–20. 40
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis 40
Oskar Becker and the Modal Translation of Intuitionistic Logic 40
Review of: "Fjellstad, Andreas Non-classical elegance for sequent calculus enthusiasts. Studia Logica 105 (2017), no. 1, 93–119." 39
Review of "van Ditmarsch, Hans Five funny bisimulations. The facts matter, 23–49, Tributes, 25, Coll. Publ., London, 2015." 39
Review of "Standefer, Shawn, Proof theory for functional modal logic. Studia Logica 106 (2018), no. 1, 49–84" 39
Kalmar's proof of the undecidability of first-order predicate logic 39
Review of "Ferreira, Gilda Rasiowa-Harrop disjunction property. Studia Logica 105 (2017), no. 3, 649–664" 38
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, 35
Review of "Petrukhin, Yaroslav, S5-style non-standard modalities in a hypersequent framework. Log. Log. Philos. 31, no. 3, 427–456" 33
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" 32
Review of "Venturi, Giorgio; Teixeira Yago Pedro, Tableaux for essence and contingency. Log. J. IGPL 29, no. 5, 719--738" 28
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" 27
Review of "Ilić, Mirjana, A note on an alternative Gentzenization of $\ssf {RW}^\circ_+$. MLQ Math. Log. Q. 67, no. 2, 186--192" 25
Review of: "Lyon, Tim, On the correspondence between nested calculi and semantic systems for intuitionistic logics. J. Logic Comput. 31, no. 1, 213--265." 25
null 16
Totale 6.502
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.623
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 16.623
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020355 0 0 0 0 36 75 40 72 33 31 61 7
2020/2021636 44 11 65 54 11 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/2024538 24 62 111 29 38 54 8 110 22 48 17 15
2024/20252.419 121 376 240 447 1.235 0 0 0 0 0 0 0
Totale 6.502