Loading...
Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL
We prove Chen and Grätzer’s construction theorem for Stone algebras in Isabelle/HOL. The development requires extensive reasoning about algebraic structures in addition to reasoning in algebraic structures. We present an approach for this using classes and locales with implicit carriers. This involv...
Na minha lista:
| Udgivet i: | Automated Reasoning |
|---|---|
| Hovedforfatter: | |
| Format: | Artigo |
| Sprog: | Inglês |
| Udgivet: |
2020
|
| Fag: | |
| Online adgang: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324036/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51054-1_14 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|