Učitavanje...
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...
Spremljeno u:
| Izdano u: | Automated Reasoning |
|---|---|
| Glavni autor: | |
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
2020
|
| Teme: | |
| Online pristup: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7324036/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51054-1_14 |
| Oznake: |
Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
|