Superdeduction at Work

DOI10.1007/978-3-540-73147-4_7zbMATH Open1186.03021OpenAlexW1505048629MaRDI QIDQ3608815FDOQ3608815

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

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
• scientific article; zbMATH DE number 7644031

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)

Cited In (8)

• Axiom Directed Focusing
• Physics and proof theory
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• The collapse of supertasks
• 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)