Difference between revisions of "Meta Logic Model"
Jump to navigation
Jump to search
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> | <noinclude> |
Revision as of 02:39, 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].