A logic for reasoning about generic judgments
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλΔ ∇ of Miller and Tiu, with an induction principle. The logic FOλΔ ∇ is itself an extension of intuitionistic logic with fixed points and a "generic qu
|Collections||ANU Research Publications|
|Source:||Electronic Notes in Theoretical Computer Science|
|01_Tiu_A_logic_for_reasoning_about_2007.pdf||457.01 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.