V. Michele Abrusci (abrusci)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Abrusci, V. Michele. 1980. “ ‘Proof,’ ‘Theory,’ and ‘Foundations’ in Hilbert’s Mathematical Work from 1885 to 1900.” in Italian Studies in the Philosophy of Science, edited by Maria Luisa Dalla Chiara, pp. 453–492. Boston Studies in the Philosophy of Science n. 47. Dordrecht: D. Reidel Publishing Co.
Abrusci, V. Michele, ed. 1998. Atti del Convegno “Prospettive della Logica e della Filosofia della Scienza,” Roma 3-5 gennaio 1996. Pisa: Edizioni ETS.
Abrusci, V. Michele. 2002. “Classical Conservative Extensions of Lambek Calculus.” Studia Logica: An International Journal for Symbolic Logic 71(3): 277–324.
Abrusci, V. Michele and Casadio, Claudia, eds. 1996. Proofs and Linguistic Categories, Proceedings of the 1996 Roma Workshop. Bologna: Cooperativa Libraria Universitaria Editrice (CLUEB).
Abrusci, V. Michele, Casari, Ettore and Agazzi, Evandro, eds. 1983. Atti del Congresso “Logica e Filosofia della Scienza, Oggi,” San Gimignano 7-11 dicembre 1983. Volume I: Logica. Bologna: Cooperativa Libraria Universitaria Editrice (CLUEB).
Abrusci, V. Michele, Casari, Ettore and Agazzi, Evandro, eds. 1986. Atti del Congresso “Logica e Filosofia della Scienza, Oggi,” San Gimignano 7-11 dicembre 1983. Volume II: Epistemologia e logica induttiva. Bologna: Cooperativa Libraria Universitaria Editrice (CLUEB).
Abrusci, V. Michele, Casari, Ettore and Mugnai, Massimo, eds. 1983. Atti del Convegno Internazionale di Storia della Logica San Gimignano, 4-8 dicembre 1982. Bologna: Cooperativa Libraria Universitaria Editrice (CLUEB).
Abrusci, V. Michele, Fouqueré, Christophe and Vauzeilles, Jacqueline. 1997. “Tree Adjoining Grammars in Non-Commutative Linear Logic.” in LACL’96: First International Conference on Logical Aspects of Computational Linguistics, edited by Christian Retoré, pp. 96–117. Berlin: Springer.
Abrusci, V. Michele, Fouqueré, Christophe and Vauzeilles, Jacqueline. 1999. “Tree Adjoining Grammars in a Fragment of the Lambek Calculus.” Computational Linguistics 25(2): 209–226.
Abrusci, V. Michele and Maringelli, Elena. 1998. “A New Correctness Criterion for Cyclic Proof Nets.” Journal of Logic, Language, and Information 7(4): 449–502.