Superdeduction at Work

DOI10.1007/978-3-540-73147-4_7MaRDI QIDQ3608815zbMATH OpenOpenAlexFDO

Authors Paul Brauner, Clément Houtmann, Claude Kirchner

Publication date 6 March 2009

Published in Rewriting, Computation and Proof (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73147-4_7

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Recommendations

• Reduction principle at work
• Superbosonization
• scientific article; zbMATH DE number 1064665
• On superreducts
• The collapse of supertasks
• scientific article; zbMATH DE number 1735154
• Super-derivations
• scientific article; zbMATH DE number 4146858
• scientific article; zbMATH DE number 7644031

Cited in

(8)

• Axiom Directed Focusing
• Physics and proof theory
• The collapse of supertasks
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• Superdeduction in \(\bar{\lambda}\mu\tilde{\mu}\)
• Inductive proof search modulo
• Linking focusing and resolution with selection
• On the convergence of reduction-based and model-based methods in proof theory

This page was built for publication: Superdeduction at Work

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