Coinductive Validity
Logic in Computer Science
2021-04-28 v1
Abstract
This note formally defines the concept of coinductive validity of judgements, and contrasts it with inductive validity. For both notions it shows how a judgement is valid iff it has a formal proof. Finally, it defines and illustrates the notion of a proof by coinduction.
Keywords
Cite
@article{arxiv.2104.13021,
title = {Coinductive Validity},
author = {Rob van Glabbeek},
journal= {arXiv preprint arXiv:2104.13021},
year = {2021}
}