|
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 |
