20 found
Sort by:
  1. Thierry Coquand & Giovanni Sambin (forthcoming). Preface of Special Issue on Formal Topology. Annals of Pure and Applied Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Giovanni Sambin & Silvio Valentini (forthcoming). Topological Characterization of Scott Domains. Archive for Mathematical Logic.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Maria Emilia Maietti & Giovanni Sambin (2013). Why Topology in the Minimalist Foundation Must Be Pointfree. Logic and Logical Philosophy 22 (2):167-199.
    We give arguments explaining why, when adopting a minimalist approach to constructive mathematics as that formalized in our two-level minimalist foundation, the choice for a pointfree approach to topology is not just a matter of convenience or mathematical elegance, but becomes compulsory. The main reason is that in our foundation real numbers, either as Dedekind cuts or as Cauchy sequences, do not form a set.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Andrej Bauer, Thierry Coquand, Giovanni Sambin & Peter M. Schuster (2012). Preface. Annals of Pure and Applied Logic 163 (2):85-86.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Francesco Ciraulo & Giovanni Sambin (2012). A Constructive Galois Connection Between Closure and Interior. Journal of Symbolic Logic 77 (4):1308-1324.
    We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. Bernhard Banaschewski, Thierry Coquand & Giovanni Sambin (2006). Preface. Annals of Pure and Applied Logic 137 (1-3):1-2.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Giulia Battilotti & Giovanni Sambin (2006). Pretopologies and a Uniform Presentation of Sup-Lattices, Quantales and Frames. Annals of Pure and Applied Logic 137 (1):30-61.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini (2003). Inductively Generated Formal Topologies. Annals of Pure and Applied Logic 124 (1-3):71-106.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Thierry Coquand, Sara Sadocco, Giovanni Sambin & Jan M. Smith (2000). Formal Topologies on the Set of First-Order Formulae. Journal of Symbolic Logic 65 (3):1183-1192.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  10. Giovanni Sambin, Giulia Battilotti & Claudia Faggian (2000). Basic Logic: Reflection, Symmetry, Visibility. Journal of Symbolic Logic 65 (3):979-1013.
    We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterize B positively: reflection, symmetry and visibility. A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  11. Giovanni Sambin (1999). Subdirectly Irreducible Modal Algebras and Initial Frames. Studia Logica 62 (2):269-282.
    The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that a Kripke frame (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  12. Giovanni Sambin & Jan M. Smith (eds.) (1998). Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995. Oxford University Press.
    This volume draws together contributions from researchers whose work builds on the theory developed by Martin-Lof over the last twenty-five years.
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Giovanni Sambin (1995). Pretopologies and Completeness Proofs. Journal of Symbolic Logic 60 (3):861-878.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  14. George Boolos & Giovanni Sambin (1991). Provability: The Emergence of a Mathematical Modality. Studia Logica 50 (1):1 - 23.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Giovanni Sambin & Virginia Vaccaro (1988). Topology and Duality in Modal Logic. Annals of Pure and Applied Logic 37 (3):249-296.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. George Boolos & Giovanni Sambin (1985). An Incomplete System of Modal Logic. Journal of Philosophical Logic 14 (4):351 - 358.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Giovanni Sambin & Silvio Valentini (1982). The Modal Logic of Provability. The Sequential Approach. Journal of Philosophical Logic 11 (3):311 - 342.
  18. Giovanni Sambin (1980). A Simpler Proof of Sahlqvist's Theorem on Completeness of Modal Logics. Bulletin of the Section of Logic 9 (2):50-54.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Giovanni Sambin (1978). Fixed Points Through the Finite Model Property. Studia Logica 37 (3):287 - 289.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  20. Giovanni Sambin (1976). An Effective Fixed-Point Theorem in Intuitionistic Diagonalizable Algebras. Studia Logica 35 (4):345 - 361.
    Within the technical frame supplied by the algebraic variety of diagonalizable algebras, defined by R. Magari in [2], we prove the following: Let T be any first-order theory with a predicate Pr satisfying the canonical derivability conditions, including Löb's property. Then any formula in T built up from the propositional variables $q,p_{1},...,p_{n}$ , using logical connectives and the predicate Pr, has the same "fixed-points" relative to q (that is, formulas $\psi (p_{1},...,p_{n})$ for which for all $p_{1},...,p_{n}\vdash _{T}\phi (\psi (p_{1},...,p_{n}),p_{1},...,p_{n})\leftrightarrow \psi (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation