There are 1 repository under logical-framework topic.
A cost-aware logical framework, embedded in Agda.
A dependent type theory logic for Isabelle
This patent proposes a logic framework that enables contextual reasoning beyond fixed frames, integrating adaptive layers of interpretation for highly dynamic systems and meta-level AI control. 固定的文脈を超えた推論を可能とする論理枠組であり、高次適応やメタAI制御を支援します。