Realizability in cyclic proof: extracting ordering information for infinite descent
type: Item
instance of: scholarly article
title: Realizability in cyclic proof: extracting ordering information for infinite descent
zbMATH Open document ID: 1496.03233
DOI: 10.1007/978-3-319-66902-1_18
author: Reuben N. S. Rowe
author: James Brotherston
publication date: 2018-02-02T00:00:00Z
full work available at URL: Realizability in Cyclic Proof.pdf
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6833563
zbMATH Keywords: approximation semantics
zbMATH Keywords: cyclic proof
zbMATH Keywords: entailment
zbMATH Keywords: inductive predicates
zbMATH Keywords: infinite descent
zbMATH Keywords: realizability
zbMATH Keywords: sequent calculus
zbMATH Keywords: weighted automata
MaRDI profile type: Publication
OpenAlex ID: W2751381847
description: scientific article; zbMATH DE number 6833563