Silvio Valentini

Available identifiers

zbMath Open valentini.silvioMaRDI QIDQ651320

List of research outcomes

Publication	Date of Publication	Type
Generalising the fan theorem	2020-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q2851541	2013-10-10	Paper
Cantor theorem and friends, in logical form	2013-03-15	Paper
Objects: a study in Kantian formal epistemology	2012-11-29	Paper
Relative formal topology: the binary positivity predicate comes first	2012-03-22	Paper
Independence results in formal topology	2011-12-12	Paper
Spatiality and classical logic	2011-09-27	Paper
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita	2011-07-29	Paper
Vagueness, Kant and topology: a study of formal epistemology	2008-04-09	Paper
Constructive characterizations of bar subsets	2007-02-14	Paper
Every countably presented formal topology is spatial, classically	2006-08-03	Paper
A structural investigation on formal topology: coreflection of formal covers and exponentiability	2005-08-29	Paper
The problem of the formalization of constructive topology	2005-02-22	Paper
Krivine's intuitionistic proof of classical completeness (for countable languages)	2004-11-22	Paper
A binary modal logic for the intersection types of lambda-calculus.	2004-03-14	Paper
Inductively generated formal topologies.	2003-11-25	Paper
An elementary proof of strong normalization for intersection types	2003-09-16	Paper
On the formal points of the formal topology of the binary tree	2003-09-16	Paper
A cartesian closed category in Martin-Löf's intuitionistic type theory	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4531082	2002-05-29	Paper
A general method for proving the normalization theorem for first and second order typed λ-calculi	2000-08-23	Paper
https://portal.mardi4nfdi.de/entity/Q4247312	2000-06-13	Paper
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4247310	2000-02-15	Paper
Tychonoff's theorem in the framework of formal topologies	1998-07-01	Paper
Constructive domain theory as a branch of intuitionistic pointfree topology	1997-02-27	Paper
An Intuitionistic Version of Cantor's Theorem	1997-02-23	Paper
Decidability in Intuitionistic Type Theory is Functionally Decidable	1997-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4896536	1996-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4855295	1995-12-14	Paper
Representation Theorems for Quantales	1995-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4323124	1995-02-13	Paper
A proof of the normal form theorem for the closed terms of Girard's system F by means of computability	1994-11-24	Paper
Local computation in linear logic	1994-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4296507	1994-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4282620	1994-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4693262	1993-11-28	Paper
An intuitionistic theory of types with assumptions of high-arity variables	1992-09-27	Paper
THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS	1992-01-01	Paper
A Syntactic Proof of Cut‐Elimination For GLlin	1986-01-01	Paper
The modal logic of provability: cut-elimination	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3039310	1983-01-01	Paper
THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC	1983-01-01	Paper
The modal logic of provability. The sequential approach	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3958435	1982-01-01	Paper
A modal sequent calculus for a fragment of arithmetic	1980-01-01	Paper
Post Completeness and Free Algebras	1980-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Silvio Valentini