The normalization theorem for extended natural deduction

DOI10.2298/PIM1715075BMaRDI QIDQ4985610zbMATH OpenOpenAlexFDO

Authors Mirjana Borisavljević

Publication date 23 April 2021

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2298/pim1715075b

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

cut eliminationnormalization

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Normalization as a consequence of cut elimination
• scientific article; zbMATH DE number 3275554
• scientific article; zbMATH DE number 874672
• Normalization theorems for full first order classical natural deduction
• Extended Natural Deduction Images of Conversions from the System of Sequents

Cites work

• A natural extension of natural deduction
• scientific article; zbMATH DE number 1169377 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Natural deduction with general elimination rules
• Normalization as a homomorphic image of cut-elimination
• Structural proof theory. With an appendix by Aarne Ranta
• The correspondence between cut-elimination and normalization
• Untersuchungen über das logische Schliessen. II

Cited in

(17)

• Normality of Horn theories with a nonmaximal spectrum
• Extended normal form theorems for logical proofs from axioms
• The normal and self-extensional extension of Dunn-Belnap logic
• Ultimate Normal Forms for Parallelized Natural Deductions
• Normalization as a consequence of cut elimination
• scientific article; zbMATH DE number 1189064 (Why is no real title available?)
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• scientific article; zbMATH DE number 1471988 (Why is no real title available?)
• scientific article; zbMATH DE number 874672 (Why is no real title available?)
• scientific article; zbMATH DE number 1405618 (Why is no real title available?)
• scientific article; zbMATH DE number 1406467 (Why is no real title available?)
• Normalization Proof for Derivations in PA after P. Cohen
• scientific article; zbMATH DE number 4195935 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Two normalizations for naturald deductions in sequent style
• Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
• Definability theorems in normal extensions of the provability logic

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: The normalization theorem for extended natural deduction

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