Superdeduction in

MaRDI QIDQ4964697zbMATH OpenFDO

Authors Clément Houtmann

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1101.5443, http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC10.5

zbMATH Keywords

classical sequent calculussuperdeduction\(\bar{\lambda}\mu\tilde{\mu}\)-calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Structure of proofs (03F07)

Recommendations

• Superdeduction at Work
• Axiom Directed Focusing
• scientific article; zbMATH DE number 1337625
• A Simple Proof That Super-Consistency Implies Cut Elimination
• A simple proof that super-consistency implies cut elimination

Cited in

(1)

• Axiom Directed Focusing

This page was built for publication: Superdeduction in \(\bar{\lambda}\mu\tilde{\mu}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964697)