Coinductive Validity

Research output: Book/ReportOther report

Abstract / Description of output

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.
Original languageEnglish
Number of pages2
Publication statusPublished - 27 Apr 2021


Dive into the research topics of 'Coinductive Validity'. Together they form a unique fingerprint.

Cite this