Formalising basic topology for computational logic in simple type theory
From MaRDI portal
Publication:6159367
DOI10.1007/978-3-031-16681-5_4OpenAlexW4296118015MaRDI QIDQ6159367FDOQ6159367
David Fuenmayor, Fabián Fernando Serrano Suárez
Publication date: 2 June 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-16681-5_4
Recommendations
- Toposes and intuitionistic theories of types
- scientific article; zbMATH DE number 810107
- Topological interpretations of provability logic
- Simple Type Theory
- Formalising Mathematics in Simple Type Theory
- Formalizing simplicial topology in Isabelle/HOL and Coq
- scientific article; zbMATH DE number 1537947
- scientific article; zbMATH DE number 2154581
- scientific article; zbMATH DE number 1498598
- Combining logics in simple type theory
Cites Work
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
- Continuous Lattices and Domains
- Homotopy Type Theory: Univalent Foundations of Mathematics
- Title not available (Why is that?)
- Quantified multimodal logics in simple type theory
- The algebra of topology
- Handbook of Spatial Logics
- Duality Theories for Boolean Algebras with Operators
- Title not available (Why is that?)
- Title not available (Why is that?)
- Intuitionistic logic and modality via topology
- Hammering towards QED
- Computational logic: its origins and applications
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
Cited In (1)
This page was built for publication: Formalising basic topology for computational logic in simple type theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6159367)
