Vito Michele Abrusci

Vito Michele Abrusci

Università degli Studi Roma Tre - Roma / Italy
Others
AD Scientific Index ID: 1872574
Roma Tre University
person_outline Vito Michele Abrusci's MOST POPULAR ARTICLES
1-) Phase semantics and sequent calculus for pure noncommutative classical linear propositional logicVM AbrusciThe Journal of Symbolic Logic 56 (4), 1403-1451, 19912221991
2-) Non-commutative logic I: the multiplicative fragmentVM Abrusci, P RuetAnnals of pure and applied logic 101 (1), 29-64, 19991821999
3-) Non-commutative intuitionistic linear logic.VM AbrusciMathematical Logic Quarterly 36 (4), 1990681990
4-) A comparison between lambek syntactic calculus and intuitionistic linear propositional logic.VM AbrusciMathematical Logic Quarterly 36 (1), 1990611990
5-) Noncommutative proof netsVM AbrusciLondon Mathematical Society Lecture Note Series, 271-296, 1995581995