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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019158 0 0 0 0 0 0 0 0 0 0 97 61
2019/2020509 43 44 10 57 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/2024517 24 62 111 29 38 54 8 110 22 48 11 0
Totale 4.062