Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
Pubblicazioni
Pubblicazioni (tutti)
Universal and Particular Contradiction in Human Reasoning
Maria Teresa Medaglia, Camillo Porcaro, Michele Abrusci, Claudia Casadio, Franca Tecchio, Stefano Seri, G. Di Lorenzo, P. M. Rossini (
2009
)
An Algorithmic Characterisation of the Classification Theorem
Gabriele Pulcini (
2009
) (
pdf
)
A characterization of MALL hypercoherent semantic correctness
Paolo Tranquilli (
2008
) (
pdf
)
Computational Algebraic Approaches to Natural Language
Claudia Casadio, Joachim Lambek (
2008
)
Computing Surfaces via pq-Permutations (extended version)
Gabriele Pulcini (
2008
) (
pdf
)
A Geometrical Procedure for Computing Relaxation
Gabriele Pulcini (
2008
) (
pdf
)
Proof nets sequentialisation in Multiplicative Linear Logic
Paolo Di Giamberardino, Claudia Faggian (
2008
) (
pdf
)
Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic
Paolo Di Giamberardino (
2008
) (
pdf
)
Computing Surfaces via pq-Permutations
Gabriele Pulcini (
2008
) (
pdf
)
Applying Pregroups to Italian Statements and Questions
Claudia Casadio (
2007
)
Intuitionistic Differential Nets and Lambda-Calculus
Paolo Tranquilli (
2007
) (
pdf
)
Permutative Additives and Exponentials
Gabriele Pulcini (
2007
) (
pdf
)
The Separation Theorem for Differential Interaction Nets
Damiano Mazza, Michele Pagani (
2007
)
Edifices and Full Abstraction for the Symmetric Interaction Combinators
Damiano Mazza (
2007
)
Observational Equivalence for the Interaction Combinators and Internal Separation
Damiano Mazza (
2007
)
1
2
3
next ›
last »
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Progetti
Pubblicazioni
Come arrivare