{"version":"1.0","type":"link","title":"Logical framework - Newikis","description":"In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}