The following pages link to Silvio Valentini (Q651320):
Displaying 48 items.
- Independence results in formal topology (Q651321) (← links)
- Objects: a study in Kantian formal epistemology (Q691124) (← links)
- The modal logic of provability: cut-elimination (Q790809) (← links)
- Constructive characterizations of bar subsets (Q866574) (← links)
- The modal logic of provability. The sequential approach (Q1056745) (← links)
- (Q1150596) (redirect page) (← links)
- A modal sequent calculus for a fragment of arithmetic (Q1150597) (← links)
- An intuitionistic theory of types with assumptions of high-arity variables (Q1192333) (← links)
- Constructive domain theory as a branch of intuitionistic pointfree topology (Q1350507) (← links)
- An elementary proof of strong normalization for intersection types (Q1407502) (← links)
- On the formal points of the formal topology of the binary tree (Q1407560) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
- The problem of the formalization of constructive topology (Q1765104) (← links)
- A cartesian closed category in Martin-Löf's intuitionistic type theory (Q1853587) (← links)
- Krivine's intuitionistic proof of classical completeness (for countable languages) (Q1887656) (← links)
- Cantor theorem and friends, in logical form (Q1942044) (← links)
- Vagueness, Kant and topology: a study of formal epistemology (Q2481249) (← links)
- (Q2851541) (← links)
- (Q3039310) (← links)
- Spatiality and classical logic (Q3170564) (← links)
- Relative formal topology: the binary positivity predicate comes first (Q3225738) (← links)
- THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS (Q3363460) (← links)
- THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC (Q3671125) (← links)
- A Syntactic Proof of Cut‐Elimination For GL<sub>lin</sub> (Q3762309) (← links)
- Post Completeness and Free Algebras (Q3914958) (← links)
- (Q3958435) (← links)
- (Q4247310) (← links)
- (Q4247312) (← links)
- (Q4282620) (← links)
- (Q4296507) (← links)
- Representation Theorems for Quantales (Q4304104) (← links)
- Local computation in linear logic (Q4304131) (← links)
- A proof of the normal form theorem for the closed terms of Girard's system <i>F</i> by means of computability (Q4304789) (← links)
- (Q4323124) (← links)
- Tychonoff's theorem in the framework of formal topologies (Q4382478) (← links)
- (Q4531082) (← links)
- (Q4693262) (← links)
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory? (Q4704657) (← links)
- (Q4855295) (← links)
- Decidability in Intuitionistic Type Theory is Functionally Decidable (Q4888341) (← links)
- (Q4896536) (← links)
- A general method for proving the normalization theorem for first and second order typed λ-calculi (Q4946629) (← links)
- Generalising the fan theorem (Q5108091) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)
- A structural investigation on formal topology: coreflection of formal covers and exponentiability (Q5311765) (← links)
- Every countably presented formal topology is spatial, classically (Q5480621) (← links)
- An Intuitionistic Version of Cantor's Theorem (Q5687407) (← links)
