ABRUSCI, Vito Michele
ABRUSCI, Vito Michele
Dipartimento di Matematica e Fisica
A Geometrical Representation of the Basic Laws of Categorial Grammar
2017-01-01 Abrusci, Vito Michele; Casadio, Claudia
Analytic and synthetic in logic
2016-01-01 Abrusci, Vito Michele
Classical conservative extensions of Lambek Calculus , The Lambek Calculus in Logic and Linguistics,
2002-01-01 Abrusci, Vito Michele
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing
2015-01-01 Abrusci, Vito Michele; Maieli, Roberto
Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
2016-01-01 Abrusci, Vito Michele; Maieli, Roberto
Dedekind, Hilbert, Goedel: the Comparison between Logical Sentences and Arithmetical Sentences
2014-01-01 Abrusci, Vito Michele
Formal Ontologies and Coherent Spaces
2014-01-01 Abrusci, Vito Michele; Ch, Fouquere; Romano, Marco
Geometria nella logica: le dimostrazioni
2011-01-01 Abrusci, Vito Michele
Hilbert's tau and epsilon in Proof Theory: a proof-theoretical representation of universal and existential statements
2018-01-01 Abrusci, Vito Michele
HILBERT’S τ AND ε IN PROOF THEORETICAL FOUNDATIONS OF MATHEMATICS: AN INTRODUCTION
2017-01-01 Abrusci, Vito Michele
La logica e le altre discipline
2018-01-01 Abrusci, Vito Michele
Le direzioni della ricerca logica in Italia: la logica lineare e i suoi sviluppi
2018-01-01 Abrusci, Vito Michele; Pistone, Paolo
Les écrans et l'interaction: un défi pour la logique
2016-01-01 Abrusci, Vito Michele
LOGICA
2018-01-01 Abrusci, Vito Michele
Logica
2016-01-01 Abrusci, Vito Michele
Logica
2018-01-01 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
Logica Volume 1- Dimostrazioni e modelli al primo ordine
2014-01-01 Abrusci, Vito Michele; TORTORA DE FALCO, Lorenzo
Logica . Seconda Edizione
2012-01-01 Abrusci, Vito Michele
Non-commutative logic: A survey
2003-01-01 Abrusci, Vito Michele
On Hilbert's Axiomatics of Propositional Logic
2014-01-01 Abrusci, Vito Michele