A logic for reasoning about generic judgments
-
Altmetric Citations
Description
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
dc.contributor.author | Tiu, Alwen | |
---|---|---|
dc.date.accessioned | 2015-12-10T21:56:17Z | |
dc.identifier.issn | 1571-0661 | |
dc.identifier.uri | http://hdl.handle.net/1885/39353 | |
dc.description.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 | |
dc.publisher | Elsevier | |
dc.source | Electronic Notes in Theoretical Computer Science | |
dc.subject | Case based reasoning | |
dc.subject | Encoding (symbols) | |
dc.subject | Problem solving | |
dc.subject | Specifications | |
dc.subject | Generic Judgments | |
dc.subject | Higher-order abstract syntax | |
dc.subject | Logical frameworks | |
dc.subject | Proof theory | |
dc.subject | Formal logic higher-order abstract syntax | |
dc.subject | logical frameworks | |
dc.subject | Proof theory | |
dc.title | A logic for reasoning about generic judgments | |
dc.type | Journal article | |
local.description.notes | Imported from ARIES | |
local.identifier.citationvolume | 174 | |
dc.date.issued | 2007 | |
local.identifier.absfor | 080299 - Computation Theory and Mathematics not elsewhere classified | |
local.identifier.absfor | 080203 - Computational Logic and Formal Languages | |
local.identifier.ariespublication | u8803936xPUB175 | |
local.type.status | Published Version | |
local.contributor.affiliation | Tiu, Alwen, College of Engineering and Computer Science, ANU | |
local.description.embargo | 2037-12-31 | |
local.bibliographicCitation.issue | 5 | |
local.bibliographicCitation.startpage | 3 | |
local.bibliographicCitation.lastpage | 18 | |
local.identifier.doi | 10.1016/j.entcs.2007.01.016 | |
dc.date.updated | 2015-12-09T07:35:55Z | |
local.identifier.scopusID | 2-s2.0-34249039887 | |
Collections | ANU Research Publications |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
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.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator