search

Skip to results

Modify your search

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Select the operation between terms

AND

NOT

Edit your search term, change scope of search Enter search term

Full Text Keywords Title Author/Editor/ORCiD Abstract References/Bibliography

Availability

All content I have access to

Purchased
Free

NARROW

Format

Facet list

Journal Article (1)

Type

Facet list

Research Article (1)

Section

Find a Section

The list will update as you type

Facet list

Articles (1)

Publication date

Date Range

Published
Updated

Date range

Single date

From Select month

To Select month

Publication date

1-1 of 1

Authors: Makoto Tatsuta

Save search

Follow your search

Access your saved searches in your account

Name your search

Follow this search

Would you like to receive an alert when new items match your search?

Save search

Sort by

Sort Order Select

Journal Article

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

PDF

Yukihiro Oda and others

Journal of Logic and Computation, Volume 35, Issue 2, March 2025, exad068, https://doi.org/10.1093/logcom/exad068

Published: 07 December 2023

Email alerts

New journal issues

New journal articles

Perform this search in

Journals Journals

Books Books

Oxford Academic Oxford Academic

Modify your search

Publication date

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

Email alerts

This Feature Is Available To Subscribers Only