Coaxioms: flexible coinductive definitions by inference systems

We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning, we allow also coaxioms, which are, intuitively, axioms which can only be applied "at infinite depth" in a proo...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 15, Issue 1
Main Author:	Dagnino, Francesco
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 01.01.2019
Subjects:	68q55, 03b70 computer science - logic in computer science computer science - programming languages d.3.1 f.3.1 f.4.1
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!