A logic for reasoning about generic judgments
| dc.contributor.author | Tiu, Alwen | |
| dc.date.accessioned | 2015-12-10T21:56:17Z | |
| dc.date.issued | 2007 | |
| dc.date.updated | 2015-12-09T07:35:55Z | |
| 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.identifier.issn | 1571-0661 | |
| dc.identifier.uri | http://hdl.handle.net/1885/39353 | |
| 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.bibliographicCitation.issue | 5 | |
| local.bibliographicCitation.lastpage | 18 | |
| local.bibliographicCitation.startpage | 3 | |
| local.contributor.affiliation | Tiu, Alwen, College of Engineering and Computer Science, ANU | |
| local.contributor.authoremail | repository.admin@anu.edu.au | |
| local.contributor.authoruid | Tiu, Alwen, u4301469 | |
| local.description.embargo | 2037-12-31 | |
| local.description.notes | Imported from ARIES | |
| 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.identifier.citationvolume | 174 | |
| local.identifier.doi | 10.1016/j.entcs.2007.01.016 | |
| local.identifier.scopusID | 2-s2.0-34249039887 | |
| local.identifier.uidSubmittedBy | u8803936 | |
| local.type.status | Published Version |
Downloads
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- 01_Tiu_A_logic_for_reasoning_about_2007.pdf
- Size:
- 457.01 KB
- Format:
- Adobe Portable Document Format