Difference between revisions of "Meta Logic Model"
Jump to navigation
Jump to search
(Created page with "{{Template:LogicModel |name=Meta Logic Model }}") |
|||
(3 intermediate revisions by 2 users not shown) | |||
Line 2: | Line 2: | ||
|name=Meta Logic Model | |name=Meta Logic Model | ||
}} | }} | ||
=Explanation= | |||
A meta logic model is a generalized logic model that tries to capture all logic models in their most essential form. To implement this ultimate abstraction of models, we intend to leverage knowledge derived from [[Kan Extension]]<ref>{{:Thesis/All Concepts are Kan extensions}}</ref>. | |||
<noinclude> | |||
=References= | |||
<references/> | |||
</noinclude> |
Latest revision as of 02:40, 5 September 2021
Logic Model (Meta Logic Model) Template:LogicModel 09 5, 2021 | ||||||
---|---|---|---|---|---|---|
| ||||||
| ||||||
|
Explanation
A meta logic model is a generalized logic model that tries to capture all logic models in their most essential form. To implement this ultimate abstraction of models, we intend to leverage knowledge derived from Kan Extension[1].
References
- ↑ Lehner, Marina (2014). "All Concepts are Kan Extensions":Kan Extensions as the Most Universal of the Universal Constructions (PDF) (Bachelor). local page: Harvard College. Retrieved June 28, 2021.