Coinductive Validity

R.J. van Glabbeek

doi:10.48550/arXiv.2104.13021

Coinductive Validity

Research output: Book/Report › Other 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 language	English
Number of pages	2
DOIs	https://doi.org/10.48550/arXiv.2104.13021
Publication status	Published - 27 Apr 2021

Access to Document

10.48550/arXiv.2104.13021Licence: All Rights Reserved

https://arxiv.org/abs/2104.13021Licence: All Rights Reserved

Cite this

@book{96629242d22d47049d687df7204ddefd,

title = "Coinductive Validity",

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

author = "{van Glabbeek}, R.J.",

year = "2021",

month = apr,

day = "27",

doi = "10.48550/arXiv.2104.13021",

language = "English",

}

TY - BOOK

T1 - Coinductive Validity

AU - van Glabbeek, R.J.

PY - 2021/4/27

Y1 - 2021/4/27

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

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

U2 - 10.48550/arXiv.2104.13021

DO - 10.48550/arXiv.2104.13021

M3 - Other report

BT - Coinductive Validity

ER -

Coinductive Validity

Abstract / Description of output

Access to Document

Fingerprint

Cite this