Silvio Valentini

Publication Activity (10 Years)

Years Active: 1980-2017
Publications (10 Years): 2

Top Topics

Topological Properties

Theoretical Framework

Tissue Classification

Top Venues

Ann. Pure Appl. Log.

Math. Struct. Comput. Sci.

Notre Dame J. Formal Log.

Publications

Silvio Valentini
Generalising the fan theorem. Math. Log. Q. 63 (1-2) (2017)
Dino Accoto, Silvio Valentini, Iacopo Portaccio, Eugenio Guglielmelli
A theoretical framework for studying the electromagnetic stimulation of nervous tissue. EMBC (2015)
Silvio Valentini
Cantor theorem and friends, in logical form. Ann. Pure Appl. Log. 164 (4) (2013)
Giovanni Boniolo, Silvio Valentini
Objects: A Study in Kantian Formal Epistemology. Notre Dame J. Formal Log. 53 (4) (2012)
Silvio Valentini
Independence results in formal topology. Ann. Pure Appl. Log. 163 (2) (2012)
Silvio Valentini
Relative formal topology: the binary positivity predicate comes first. Math. Struct. Comput. Sci. 22 (1) (2012)
Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. Calculemus/MKM (2011)
Milena Stefanova, Silvio Valentini
Spatiality and classical logic. Math. Log. Q. 57 (4) (2011)
Claudio Sacerdoti Coen, Silvio Valentini
General Recursion and Formal Topology PAR (2010)
Claudio Sacerdoti Coen, Silvio Valentini
General Recursion and Formal Topology. PAR@ITP (2010)
Giovanni Boniolo, Silvio Valentini
Vagueness, Kant and Topology: a Study of Formal Epistemology. J. Philos. Log. 37 (2) (2008)
Silvio Valentini
Constructive characterizations of bar subsets. Ann. Pure Appl. Log. 145 (3) (2007)
Silvio Valentini
Every countably presented formal topology is spatial, classically. J. Symb. Log. 71 (2) (2006)
Silvio Valentini
The problem of the formalization of constructive topology. Arch. Math. Log. 44 (1) (2005)
Maria Emilia Maietti, Silvio Valentini
A structural investigation on formal topology: coreflection of formal covers and exponentiability. J. Symb. Log. 69 (4) (2004)
Stefano Berardi, Silvio Valentini
Krivine's intuitionistic proof of classical completeness (for countable languages). Ann. Pure Appl. Log. 129 (1-3) (2004)
Maria Emilia Maietti, Silvio Valentini
Exponentiation of Scott Formal Topologies. Electron. Notes Theor. Comput. Sci. 73 (2004)
Silvio Valentini
A cartesian closed category in Martin-Löf's intuitionistic type theory. Theor. Comput. Sci. 290 (1) (2003)
Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini
Inductively generated formal topologies. Ann. Pure Appl. Log. 124 (1-3) (2003)
Silvio Valentini, Matteo Viale
A binary modal logic for the intersection types of lambda-calculus. Inf. Comput. 185 (2) (2003)
Silvio Valentini
Extensionality Versus Constructivity. Math. Log. Q. 48 (2) (2002)
Silvio Valentini
On the formal points of the formal topology of the binary tree. Arch. Math. Log. 41 (7) (2002)
Silvio Valentini
An elementary proof of strong normalization for intersection types. Arch. Math. Log. 40 (7) (2001)
Maria Emilia Maietti, Silvio Valentini
Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory? Math. Log. Q. 45 (1999)
Venanzio Capretta, Silvio Valentini
A general method for proving the normalization theorem for first and second order typed lambda-calculi. Math. Struct. Comput. Sci. 9 (6) (1999)
Sara Negri, Silvio Valentini
Tychonoff's Theorem in the Framework of Formal Topologies. J. Symb. Log. 62 (4) (1997)
Dario Maguolo, Silvio Valentini
An Intuitionistic Version of Cantor's Theorem. Math. Log. Q. 42 (1996)
Silvio Valentini
Decidability in Intuitionistic Type Theory is Functionally Decidable. Math. Log. Q. 42 (1996)
Giovanni Sambin, Silvio Valentini, Paolo Virgili
Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology. Theor. Comput. Sci. 159 (2) (1996)
Silvio Valentini
Representation Theorems for Quantales. Math. Log. Q. 40 (1994)
Giovanni Sambin, Silvio Valentini
Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract). Kurt Gödel Colloquium (1993)
Silvio Valentini
by Means of Computability. Math. Log. Q. 39 (1993)
Ugo Solitro, Silvio Valentini
Local Computation in Linear Logic. Math. Log. Q. 39 (1993)
Silvio Valentini
The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics. Math. Log. Q. 38 (1) (1992)
Annalisa Bossi, Silvio Valentini
An Intuitionistic Theory of Types with Assumptions of High-Arity Variables. Ann. Pure Appl. Log. 57 (2) (1992)
Silvio Valentini
. Math. Log. Q. 32 (7-9) (1986)
Silvio Valentini
The modal logic of provability: Cut-elimination. J. Philos. Log. 12 (4) (1983)
Silvio Valentini
The Modal Logic of Consistency Assertions of Peano Arithmetic. Math. Log. Q. 29 (1) (1983)
Giovanni Sambin, Silvio Valentini
The modal logic of provability. The sequential approach. J. Philos. Log. 11 (3) (1982)
Giovanni Sambin, Silvio Valentini
Post Completeness and Free Algebras. Math. Log. Q. 26 (22-24) (1980)