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...

Celý popis

Podrobná bibliografie

Vydáno v:	Logical methods in computer science Ročník 15, Issue 1
Hlavní autor:	Dagnino, Francesco
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science e.V 01.01.2019
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!