Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 44
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
Cantor theorem and friends, in logical form 2013 VALENTINI, SILVIO ANNALS OF PURE AND APPLIED LOGIC - -
Il teorema di Arrow: un punto di vista logico 2012 VALENTINI, SILVIO + ARCHIMEDE - -
Independence results in formal topology 2012 VALENTINI, SILVIO ANNALS OF PURE AND APPLIED LOGIC - -
OBJECTS A Study in Kantian Formal Epistemology 2012 VALENTINI, SILVIO + NOTRE DAME JOURNAL OF FORMAL LOGIC - -
Relative formal topology, namely, the binary positivity predicate comes first 2012 VALENTINI, SILVIO MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE - -
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita 2011 MAIETTI, MARIA EMILIASAMBIN, GIOVANNIVALENTINI, SILVIO + LECTURE NOTES IN COMPUTER SCIENCE - Intelligent Computer Mathematics, LNCS
Spatiality and classical logic 2011 VALENTINI, SILVIO + MATHEMATICAL LOGIC QUARTERLY - -
General Recursion and Formal Topology 2010 VALENTINI, SILVIO + ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - EPTCS 43
Vagueness, Kant and Topology 2008 VALENTINI, SILVIO + JOURNAL OF PHILOSOPHICAL LOGIC - -
A Strong Normalization Condition for Pure Type System 2007 VALENTINI, SILVIO + - - Reflections on Type Theory, Lambda Calculus, and the Mind
Constructive characterizations of bar subsets 2007 VALENTINI, SILVIO ANNALS OF PURE AND APPLIED LOGIC - -
Every countably presented formal topology is spatial, classically 2006 VALENTINI, SILVIO THE JOURNAL OF SYMBOLIC LOGIC - -
The problem of the formalization of constructive topology 2005 VALENTINI, SILVIO ARCHIVE FOR MATHEMATICAL LOGIC - -
Exponentiation of Scott formal topologies 2004 MAIETTI, MARIA EMILIAVALENTINI, SILVIO ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - Proceedings of the Workshop Domains VI
Krivine's intuitionistic proof of classical completeness (for countable languages) 2004 VALENTINI, SILVIO + ANNALS OF PURE AND APPLIED LOGIC - -
A structural investigation on formal topology: coreflection of formal covers and exponentiability 2004 MAIETTI, MARIA EMILIAVALENTINI, SILVIO THE JOURNAL OF SYMBOLIC LOGIC - -
A cartesian closed category in Martin-Loef's intuitionistic type theory 2003 VALENTINI, SILVIO THEORETICAL COMPUTER SCIENCE - -
A binary modal logic for the intersection types of lambda-calculus 2003 VALENTINI, SILVIO + INFORMATION AND COMPUTATION - -
Inductively generated formal topologies 2003 SAMBIN, GIOVANNIVALENTINI, SILVIO + ANNALS OF PURE AND APPLIED LOGIC - -
On the formal points of the formal topology of the binary tree 2002 VALENTINI, SILVIO ARCHIVE FOR MATHEMATICAL LOGIC - -
Mostrati risultati da 1 a 20 di 44
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile