Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference21 articles.
1. Abrusci, V. M., Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic, The Journal of Symbolic Logic 56(4):1403–1451, 1991.
2. Abrusci, V. M., Classical conservative extensions of Lambek calculus, Studia Logica 71(3):277–314, 2002.
3. Springer, LNCS;VM Abrusci,2014
4. Abrusci, V. M., Syllogisms and Linear Logic. Preprint, Dipartimento di Filosofia, Roma. Extended edition, 2017 (forthcoming).
5. Abrusci, V. M., and P. Ruet, Non-commutative Logic I: The multiplicative fragment, Annals of Pure and Applied Logic 101(1):29–64, 1999.