Cut-elimination for a logic with definitions and induction
type: Item
instance of: scholarly article
title: Cut-elimination for a logic with definitions and induction
zbMATH Open document ID: 0951.03050
DOI: 10.1016/S0304-3975(99)00171-1
author: Raymond McDowell
author: Dale Miller
published in: Theoretical Computer Science
publication date: 2000-08-23T00:00:00Z
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1495208
zbMATH Keywords: induction
zbMATH Keywords: logic specification
zbMATH Keywords: sequent calculus
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: cut-elimination
MaRDI profile type: Publication
cites work: Logic Programming with Focusing Proofs in Linear Logic
cites work: Q5625124
cites work: A unification algorithm for typed \(\overline\lambda\)-calculus
cites work: Q5638283
cites work: Q4222839
cites work: Forum: A multiple-conclusion specification logic
cites work: Uniform proofs as a foundation for logic programming
cites work: Higher-order Horn clauses
cites work: Q4003964
cites work: Q4281483
cites work: The practice of logical frameworks
cites work: Q4249901
cites work: Solution to a problem of Ono and Komori
cites work: CUT-PROPERTY AND NEGATION AS FAILURE
cites work: Intensional interpretations of functionals of finite type I
Recommended article: Cut elimination for a logic with induction and co-induction
Recommended article: Cut-Elimination and Proof Schemata
Recommended article: A cut-elimination proof in intuitionistic predicate logic
Recommended article: Cut Elimination and Decidability for Classical Lambek Logic
Recommended article: Cut elimination for the unified logic
Recommended article: A note on cut-elimination for classical propositional logic
Recommended article: Cut elimination in coalgebraic logics
Recommended article: Q4204147
Recommended article: Q4327830
Recommended article: Cut Elimination for Gentzen’s Sequent Calculus with Equality and Logic of Partial Terms
description: scientific article; zbMATH DE number 1495208