Abrusci Michele |
|
Proof-nets e sillogismi |
Andretta Alessandro |
|
Il
principio SLO e la gerarchia di Wadge |
Arrigoni Tatiana |
|
The Continuum Hypothesis Revisited: New Perspectives |
Asperti Andrea |
|
Matita |
Baioletti Marco
|
|
An empirical complexity study for a 2CPA solver |
Baratella Stefano |
|
Proprieta' di algebre di Banach costruite come
inviluppi nonstandard |
Barbina Silvia |
|
Ricostruzione di strutture
ω-categoriche dal loro gruppo degli automorfismi |
Battilotti Giulia
|
|
Logica di base e computazione quantistica |
Bellin Gianluigi |
|
Un calcolo delle continuazioni,
duale del lambda calcolo, per la Logica Bi-intuizionistica Polarizzata |
Bellotti Luca |
|
Woodin
on the continuum problem: an overview and some objections |
Berardi Stefano |
|
Il Terzo Escluso come
principio costruttivo di apprendimento |
Busaniche Manuela |
|
Free algebras in varieties of BL-algebras generated
by BLn-chain |
Camerlo Riccardo |
|
Universal analytic
preorders |
Carlucci Lorenzo |
|
Some
result on u-shaped learning |
Ciabattoni Anna |
|
Automated generation of analytic calculi for
logics with linearity |
Crosilla Laura |
|
Constructive
set theory with rules |
Dal
Lago Ugo
|
|
Elementary affine logic
and the call by value lambda calculus |
Di Gianberardino Paolo |
|
Reti di prova e semantica: coerenza e aciclicità |
Di Nasso Mauro |
|
Topological extensions, ultrafilters and nonstandard
analysis |
Drago Antonino |
|
Kolmogoroff and the relevance of the double negation law
in science |
Dyckhoff Roy |
|
Proof theoretic methods in linear lattice
theory |
Faggian Claudia |
|
Ludics nets, a game model of concurrent interaction |
Forti Marco |
|
An Aristotelian way of counting the infinite |
Freguglia Paolo |
|
About emergent properties and complexity in
scientific theories |
Gentilini Paolo
|
|
Distinzione formale fra valore di verità
e significato nell’ambito delle semantiche inferenziali per la
Teoria dei Tipi |
Gerla Giangiacomo |
|
A tentative to capture fuzzy
logic and approximate reasoning |
Ghilardi Silvio |
|
Combinazione di procedure di decisione nel ragionamento
automatico |
Guerrini Stefano
|
|
Proofs, tests and
computations |
Guido Cosimo |
|
Categorie di L-insiemi costruiti su reticoli strutturati |
Hosni Hykel |
|
Razionalità come conformità |
Jin Renling |
|
Nonstandard
methods for additive problems in combinatorial number theory |
Lacava Francesco |
|
Una caratterizzazione per un insieme di generatori liberi di
una MV-algebra |
L' Innocente Sonia |
|
Rings of definable scalars of Verma modules |
Lenzi Giacomo |
|
The hierarchy of variables
in the modal μ-calculus |
Leonesi Stefano |
|
ω-categorical weakly
o-minimal expansions of Boolean lattices |
Longo Giuseppe |
|
Dai fondamenti della matematica alle scienze
della natura: l'importanza dei risultati negativi |
Maieli Roberto |
|
Concurrent proof net
construction |
Maietti Maria Emilia |
|
Characterizing moedels
by means of their internal language |
Martini Simone |
|
Adattare il sistema
T di Goedel alla complessità computazionale |
Mazza Damiano |
|
Interaction Nets and
Concurrency |
Montagna Franco |
|
Many-valued logic and its connections with ordered
algebraic structures |
Monteleone Erich |
|
La formalizzazione del concetto di randomness |
Moriconi Enrico |
|
Goedel's completeness theorem: some history,
some philosophy |
Mundici Daniele |
|
Feedback coding and
many-valued logic |
Olivetti Nicola |
|
Belief
revision and conditional logic |
Pagani Michele |
|
The injectivity of
denotational semantics for linear logic proof-nets |
Panti Giovanni |
|
Automorfismi di Bernoulli
in logica multivalente |
Pastori Elisabetta |
|
Nuclei di ricoprimenti
finiti semplici |
Pedicini Marco |
|
On
the number of provable formulas |
Perdry Hervé |
|
Strongly Noetherian
rings |
Pulcini Gabriele |
|
Calculus of surfaces
and Permutative Logic |
Puninskaya Vera |
|
Vaught conjecture and modules with few types |
Robinson Zachary |
|
Cell
decomposition for henselian valued fields |
Ronchi Della Rocca Simona |
|
From computations to proofs (and back...) |
Ronzitti Giuseppina |
|
Brouwer
and Heyting on countable sets |
Rosolini Giuseppe |
|
Spazi come monoidi |
Roversi Luca |
|
Implicit computational complexity and linear logic |
Sambin Giovanni |
|
Una fondazione minimalista per la matematica
costruttiva |
Schuster Peter |
|
Dini's
Theorem in the Light of Reverse Mathematics |
Terzo Giuseppina |
|
Alcune conseguenze
della Congettura di Schanuel su anelli esponenziali |
Toffalori Carlo |
|
Verso la classificazione dei moduli puri iniettivi
su anelli gruppali |
Tozzi Anna |
|
Alcuni aspetti della topologia senza punti |
Tulenheimo Tero |
|
Logical independencies in modal logic |
Tortora De Falco Lorenzo |
|
The question of separation in linear logic |
Valentini Silvio |
|
Inductively generated formal topologies and
their applications |
Von Plato Jan |
|
Derivabilità
normale nella logica modale: soluzione di un problema di Prawitz |