Difference between revisions of "Meta Logic Model"
Jump to navigation
Jump to search
(One intermediate revision by the same user not shown) | |||
Line 4: | Line 4: | ||
=Explanation= | =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 | 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> | <noinclude> | ||
=References= | =References= | ||
<references/> | <references/> | ||
</noinclude> | </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.