View in EDS HTML Full Text PDF Full Text

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions.

Saved in:

Bibliographic Details
Title:	The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions.
Authors:	Oda, Yukihiro¹, Brotherston, James², Tatsuta, Makoto¹
Source:	Journal of Logic & Computation; Mar2025, Vol. 35 Issue 2, p1-28, 28p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	0955792X
DOI:	10.1093/logcom/exad068