Formalising basic topology for computational logic in simple type theory
From MaRDI portal
Publication:6159367
DOI10.1007/978-3-031-16681-5_4OpenAlexW4296118015MaRDI QIDQ6159367
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intuitionistic logic and modality via topology
- Quantified multimodal logics in simple type theory
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- The algebra of topology
- Handbook of Spatial Logics
- Computational logic: its origins and applications
- Continuous Lattices and Domains
- Hammering towards QED
- Duality Theories for Boolean Algebras with Operators
- Homotopy Type Theory: Univalent Foundations of Mathematics
- Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder
This page was built for publication: Formalising basic topology for computational logic in simple type theory
