This a complete formalization of Version 2 of Carneades Argument Evaluation Structures (CAES2) in Higher-Ordered Logic (HOL) for the Isabelle proof assistant. CAES2 is the formal model of structured arguments implemented in Version 4 of the Carneades argumentation system. The goal of this formalization is to facilitate machine-checked proofs of theorems about CAES2 properties.
-
Notifications
You must be signed in to change notification settings - Fork 0
Isabelle Formalization of Carneades Argument Evaluation Structures, Version 2
License
carneades/caes2-formalization
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Isabelle Formalization of Carneades Argument Evaluation Structures, Version 2
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published