Silvio Valentini

From MaRDI portal
Person:651320

Available identifiers

zbMath Open valentini.silvioMaRDI QIDQ651320

List of research outcomes

PublicationDate of PublicationType
Generalising the fan theorem2020-04-29Paper
https://portal.mardi4nfdi.de/entity/Q28515412013-10-10Paper
Cantor theorem and friends, in logical form2013-03-15Paper
Objects: a study in Kantian formal epistemology2012-11-29Paper
Relative formal topology: the binary positivity predicate comes first2012-03-22Paper
Independence results in formal topology2011-12-12Paper
Spatiality and classical logic2011-09-27Paper
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita2011-07-29Paper
Vagueness, Kant and topology: a study of formal epistemology2008-04-09Paper
Constructive characterizations of bar subsets2007-02-14Paper
Every countably presented formal topology is spatial, classically2006-08-03Paper
A structural investigation on formal topology: coreflection of formal covers and exponentiability2005-08-29Paper
The problem of the formalization of constructive topology2005-02-22Paper
Krivine's intuitionistic proof of classical completeness (for countable languages)2004-11-22Paper
A binary modal logic for the intersection types of lambda-calculus.2004-03-14Paper
Inductively generated formal topologies.2003-11-25Paper
An elementary proof of strong normalization for intersection types2003-09-16Paper
On the formal points of the formal topology of the binary tree2003-09-16Paper
A cartesian closed category in Martin-Löf's intuitionistic type theory2003-01-21Paper
https://portal.mardi4nfdi.de/entity/Q45310822002-05-29Paper
A general method for proving the normalization theorem for first and second order typed λ-calculi2000-08-23Paper
https://portal.mardi4nfdi.de/entity/Q42473122000-06-13Paper
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?2000-05-09Paper
https://portal.mardi4nfdi.de/entity/Q42473102000-02-15Paper
Tychonoff's theorem in the framework of formal topologies1998-07-01Paper
Constructive domain theory as a branch of intuitionistic pointfree topology1997-02-27Paper
An Intuitionistic Version of Cantor's Theorem1997-02-23Paper
Decidability in Intuitionistic Type Theory is Functionally Decidable1997-01-13Paper
https://portal.mardi4nfdi.de/entity/Q48965361996-10-20Paper
https://portal.mardi4nfdi.de/entity/Q48552951995-12-14Paper
Representation Theorems for Quantales1995-07-06Paper
https://portal.mardi4nfdi.de/entity/Q43231241995-02-13Paper
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability1994-11-24Paper
Local computation in linear logic1994-10-05Paper
https://portal.mardi4nfdi.de/entity/Q42965071994-06-19Paper
https://portal.mardi4nfdi.de/entity/Q42826201994-04-17Paper
https://portal.mardi4nfdi.de/entity/Q46932621993-11-28Paper
An intuitionistic theory of types with assumptions of high-arity variables1992-09-27Paper
THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS1992-01-01Paper
A Syntactic Proof of Cut‐Elimination For GLlin1986-01-01Paper
The modal logic of provability: cut-elimination1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q30393101983-01-01Paper
THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC1983-01-01Paper
The modal logic of provability. The sequential approach1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39584351982-01-01Paper
A modal sequent calculus for a fragment of arithmetic1980-01-01Paper
Post Completeness and Free Algebras1980-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Silvio Valentini