The following pages link to Giovanni Sambin (Q887822):
Displaying 50 items.
- The basic Zariski topology (Q887823) (← links)
- Finitary formal topologies and Stone's representation theorem (Q949607) (← links)
- The overlap algebra of regular opens (Q979062) (← links)
- The modal logic of provability. The sequential approach (Q1056745) (← links)
- An incomplete system of modal logic (Q1073780) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- (Q1150595) (redirect page) (← links)
- A modal sequent calculus for a fragment of arithmetic (Q1150597) (← links)
- Provability: The emergence of a mathematical modality (Q1176093) (← links)
- Un'estensione del teorema di Lob (Q1224575) (← links)
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) (Q1237723) (← links)
- Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) (Q1254313) (← links)
- From basic logic to quantum logics with cut-elimination (Q1264370) (← links)
- Subdirectly irreducible modal algebras and initial frames (Q1288966) (← links)
- Constructive domain theory as a branch of intuitionistic pointfree topology (Q1350507) (← links)
- Inductively generated formal topologies. (Q1412832) (← links)
- Some points in formal topology. (Q1427787) (← links)
- Embedding locales and formal topologies into positive topologies (Q1756486) (← links)
- C for constructivism. Beyond clichés (Q2304765) (← links)
- Pretopologies and a uniform presentation of sup-lattices, quantales and frames (Q2575764) (← links)
- A Minimalist Foundation at Work (Q2909749) (← links)
- (Q3015560) (← links)
- The principle of pointfree continuity (Q3121524) (← links)
- (Q3481701) (← links)
- Finiteness in a Minimalist Foundation (Q3499749) (← links)
- (Q3726077) (← links)
- (Q3832536) (← links)
- (Q3884090) (← links)
- Post Completeness and Free Algebras (Q3914958) (← links)
- (Q4247310) (← links)
- (Q4282620) (← links)
- (Q4428708) (← links)
- (Q4513593) (← links)
- Basic logic: reflection, symmetry, visibility (Q4527908) (← links)
- Formal topologies on the set of first-order formulae (Q4527918) (← links)
- A new proof of Sahlqvist's theorem on modal definability and completeness (Q4731170) (← links)
- Pretopologies and completeness proofs (Q4858821) (← links)
- (Q4896534) (← links)
- A constructive Galois connection between closure and interior (Q4899177) (← links)
- Convergence in formal topology: a unifying notion (Q4907839) (← links)
- (Q4940726) (← links)
- (Q4941997) (← links)
- (Q4944859) (← links)
- Why topology in the minimalist foundation must be pointfree (Q4982399) (← links)
- Topology as Faithful Communication Through Relations (Q4988935) (← links)
- (Q5184125) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)
- (Q5224156) (← links)
- Real and Ideal in Constructive Mathematics (Q5253924) (← links)
- (Q5310888) (← links)
