A logic for reasoning about generic judgments
Date
2007
Authors
Tiu, Alwen
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Abstract
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
Description
Keywords
Case based reasoning, Encoding (symbols), Problem solving, Specifications, Generic Judgments, Higher-order abstract syntax, Logical frameworks, Proof theory, Formal logic higher-order abstract syntax, logical frameworks, Proof theory
Citation
Collections
Source
Electronic Notes in Theoretical Computer Science
Type
Journal article
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description