Skip navigation
Skip navigation

A logic for reasoning about generic judgments

Tiu, Alwen

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.authorTiu, Alwen
dc.date.accessioned2015-12-10T21:56:17Z
dc.identifier.issn1571-0661
dc.identifier.urihttp://hdl.handle.net/1885/39353
dc.description.abstractThis 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.publisherElsevier
dc.sourceElectronic Notes in Theoretical Computer Science
dc.subjectCase based reasoning
dc.subjectEncoding (symbols)
dc.subjectProblem solving
dc.subjectSpecifications
dc.subjectGeneric Judgments
dc.subjectHigher-order abstract syntax
dc.subjectLogical frameworks
dc.subjectProof theory
dc.subjectFormal logic higher-order abstract syntax
dc.subjectlogical frameworks
dc.subjectProof theory
dc.titleA logic for reasoning about generic judgments
dc.typeJournal article
local.description.notesImported from ARIES
local.identifier.citationvolume174
dc.date.issued2007
local.identifier.absfor080299 - Computation Theory and Mathematics not elsewhere classified
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.ariespublicationu8803936xPUB175
local.type.statusPublished Version
local.contributor.affiliationTiu, Alwen, College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.issue5
local.bibliographicCitation.startpage3
local.bibliographicCitation.lastpage18
local.identifier.doi10.1016/j.entcs.2007.01.016
dc.date.updated2015-12-09T07:35:55Z
local.identifier.scopusID2-s2.0-34249039887
CollectionsANU Research Publications

Download

File Description SizeFormat Image
01_Tiu_A_logic_for_reasoning_about_2007.pdf457.01 kBAdobe 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