Superdeduction in

zbMATH Open1456.03086arXiv1101.5443MaRDI QIDQ4964697FDOQ4964697

Authors: Clément Houtmann 

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1101.5443

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

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)

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)