×

zbMATH — the first resource for mathematics

Abrusci, Vito Michele

Compute Distance To:
Author ID: abrusci.vito-michele Recent zbMATH articles by "Abrusci, Vito Michele"
Published as: Abrusci, V. M.; Abrusci, V. Michele; Abrusci, Vito Michele
Documents Indexed: 36 Publications since 1981, including 3 Books
Reviewing Activity: 4 Reviews

Publications by Year

Citations contained in zbMATH Open

16 Publications have been cited 121 times in 92 Documents Cited by Year
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044
Abrusci, V. Michele
45
1991
Non-commutative logic. I: The multiplicative fragment. Zbl 0962.03054
Abrusci, V. Michele; Ruet, Paul
25
2000
Non-commutative intuitionistic linear logic. Zbl 0810.03005
Abrusci, V. Michele
11
1990
A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005
Abrusci, V. Michele
10
1990
Classical conservative extensions of Lambek calculus. Zbl 1019.03018
Abrusci, V. Michele
9
2002
Sequent calculus for intuitionistic linear propositional logic. Zbl 0787.03005
Abrusci, V. Michele
5
1990
Noncommutative proof nets. Zbl 0828.03028
Abrusci, V. Michele
4
1995
Cyclic multiplicative proof nets of linear logic with an application to language parsing. Zbl 1365.03039
Abrusci, Vito Michele; Maieli, Roberto
2
2015
Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator). Zbl 0701.03028
Abrusci, V. Michele
2
1989
Some uses of dilators in combinatorial problems. I. Zbl 0634.03057
Abrusci, V. M.; Girard, J. Y.; Van de Wiele, J.
2
1987
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing. Zbl 06658630
Abrusci, Vito Michele; Maieli, Roberto
1
2016
On residuation. Zbl 1285.03012
Abrusci, V. Michele
1
2014
Universal vs. particular reasoning: a study with neuroimaging techniques. Zbl 1306.03003
Abrusci, V. Michele; Casadio, Claudia; Medaglia, M. Teresa; Porcaro, Camillo
1
2013
Ontologies and coherence spaces. Zbl 1317.68240
Abrusci, V. M.; Romano, M.; Fouqueré, C.
1
2011
A new correctness criterion for cyclic proof nets. Zbl 0915.03046
Abrusci, V. Michele; Maringelli, Elena
1
1998
Dilators, generalized Goodstein sequences, independence results. Zbl 0634.03056
Abrusci, V. Michele
1
1987
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing. Zbl 06658630
Abrusci, Vito Michele; Maieli, Roberto
1
2016
Cyclic multiplicative proof nets of linear logic with an application to language parsing. Zbl 1365.03039
Abrusci, Vito Michele; Maieli, Roberto
2
2015
On residuation. Zbl 1285.03012
Abrusci, V. Michele
1
2014
Universal vs. particular reasoning: a study with neuroimaging techniques. Zbl 1306.03003
Abrusci, V. Michele; Casadio, Claudia; Medaglia, M. Teresa; Porcaro, Camillo
1
2013
Ontologies and coherence spaces. Zbl 1317.68240
Abrusci, V. M.; Romano, M.; Fouqueré, C.
1
2011
Classical conservative extensions of Lambek calculus. Zbl 1019.03018
Abrusci, V. Michele
9
2002
Non-commutative logic. I: The multiplicative fragment. Zbl 0962.03054
Abrusci, V. Michele; Ruet, Paul
25
2000
A new correctness criterion for cyclic proof nets. Zbl 0915.03046
Abrusci, V. Michele; Maringelli, Elena
1
1998
Noncommutative proof nets. Zbl 0828.03028
Abrusci, V. Michele
4
1995
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic. Zbl 0746.03044
Abrusci, V. Michele
45
1991
Non-commutative intuitionistic linear logic. Zbl 0810.03005
Abrusci, V. Michele
11
1990
A comparison between Lambek syntactic calculus and intuitionistic linear propositional logic. Zbl 0719.03005
Abrusci, V. Michele
10
1990
Sequent calculus for intuitionistic linear propositional logic. Zbl 0787.03005
Abrusci, V. Michele
5
1990
Some uses of dilators in combinatorial problems. III: Independence results by means of decreasing F-sequences (F weakly finite dilator). Zbl 0701.03028
Abrusci, V. Michele
2
1989
Some uses of dilators in combinatorial problems. I. Zbl 0634.03057
Abrusci, V. M.; Girard, J. Y.; Van de Wiele, J.
2
1987
Dilators, generalized Goodstein sequences, independence results. Zbl 0634.03056
Abrusci, V. Michele
1
1987
all top 5

Cited by 97 Authors

8 Abrusci, Vito Michele
6 Buszkowski, Wojciech
5 Casadio, Claudia
5 Kuznetsov, Stepan L’vovich
5 Maieli, Roberto
4 Blute, Richard F.
4 Kanovich, Max Iosifovich
4 Scedrov, Andre
3 Galmiche, Didier
3 Okada, Mitsuhiro
3 Ruet, Paul
2 Béchet, Denis
2 Brown, Carolyn
2 Cockett, J. Robin B.
2 D’Agostino, Marcello
2 Došen, Kosta
2 Fouqueré, Christophe
2 Galatos, Nikolaos
2 Gurr, Doug
2 Kamide, Norihiro
2 Lambek, Joachim
2 Moortgat, Michael
2 Nigam, Vivek
2 Peterson, Clayton
2 Piazza, Mario
2 Porello, Daniele
2 Pulcini, Gabriele
2 Quatrini, Myriam
2 Scott, Philip J.
2 Seely, Robert A. G.
2 Terui, Kazushige
1 Acclavio, Matteo
1 Andreoli, Jean-Marc
1 Areces, Carlos
1 Bellin, Gianluigi
1 Bernardi, Raffaella
1 Brunel, Aloïs
1 Ciabattoni, Agata
1 Cornejo, Maria Eugenia
1 da S. Corrêa, Marcelo
1 De Smet, Michiel
1 Demey, Lorenz
1 Dunn, Lawrence
1 Fleury, Marie-Renee
1 Foret, Annie
1 Gabbay, Dov M.
1 Ghosh, Sujata
1 Hamano, Masahiro
1 Hermant, Olivier
1 Houtmann, Clément
1 Hyland, J. Martin E.
1 Ille, Pierre
1 Jipsen, Peter
1 Kiślak-Malinowska, Aleksandra
1 Kołowska-Gawiejnowicz, Mirosława
1 Kozak, Michał
1 Lafont, Yves
1 Lamarche, François
1 Mascari, Giovanni Francesco
1 Medina, Jesús
1 Miller, Dale Allen
1 Morrill, Glyn V.
1 Nagayama, Misao
1 Notin, Jean-Marc
1 Ono, Hiroakira
1 Päppinghaus, Peter
1 Pentus, Mati
1 Petrić, Zoran
1 Petrukhin, Yaroslav Igorevich
1 Pistone, Paolo
1 Pratt, Vaughan R.
1 Pucci, Fabrizio
1 Puite, Quintijn
1 Pym, David J.
1 Rachůnek, Jiří
1 Ramírez-Poussa, Eloisa
1 Retoré, Christian
1 Robinson, Edmund P.
1 Romano, Marco
1 Ryzhkova, N. S.
1 Sadrzadeh, Mehrnoosh
1 Sato, Kentaro
1 Shangin, Vasily
1 Smessaert, Hans
1 Takemura, Ryo
1 Top, Jakob Dirk
1 Trimble, Todd H.
1 Troquard, Nicolas
1 Urban, Christian
1 Valentini, Silvio
1 van Benthem, Johan F. A. K.
1 Vana, Leonardo Bruno
1 Verbrugge, Rineke
1 Vicary, Jamie
1 Wainer, Stanley Scott
1 Weiermann, Andreas
1 Ying, Mingsheng

Citations by Year